runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729130-1338678644/watcher-3729130-1338678644 -o /tmp/evaluation-result-3729130-1338678644/solver-3729130-1338678644 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3729130-1338678644.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.22 0.29 0.37 4/198 5689
/proc/meminfo: memFree=25751680/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5689/stat : 5689 (java) R 5687 5689 5561 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 333988712 23793664 458 33554432000 1073741824 1073778376 140734651560096 140734651549160 209874631219 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 5809 468 355 9 0 128 0
[startup+0.06093 s]
/proc/loadavg: 1.22 0.29 0.37 4/198 5689
/proc/meminfo: memFree=25751680/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 4304 0 1 0 3 2 0 0 20 0 13 0 333988712 11523600384 12157 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2813379 12157 1708 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516
[startup+0.100283 s]
/proc/loadavg: 1.22 0.29 0.37 4/198 5689
/proc/meminfo: memFree=25751680/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 5261 0 1 0 8 2 0 0 20 0 18 0 333988712 11864465408 13605 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2896598 13605 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.30016 s]
/proc/loadavg: 1.22 0.29 0.37 4/198 5689
/proc/meminfo: memFree=25751680/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=0.65 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 8763 0 1 0 62 3 0 0 20 0 22 0 333988712 12137111552 17735 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 17735 2234 9 0 2953849 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 11852648
[startup+0.700244 s]
/proc/loadavg: 1.22 0.29 0.37 4/198 5689
/proc/meminfo: memFree=25751680/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=2.21 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 17689 0 1 0 215 6 0 0 20 0 22 0 333988712 12137111552 35356 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 35868 2265 9 0 2953849 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 11852648
[startup+1.50086 s]
/proc/loadavg: 1.61 0.38 0.40 7/220 5711
/proc/meminfo: memFree=25562408/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=4.51 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 22807 0 1 0 440 11 0 0 20 0 22 0 333988712 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 71747 2280 9 0 2953849 0
[pid=5689/tid=5691] ppid=5687 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5561 0 -1 4202560 3373 0 1 0 13 2 0 0 20 0 22 0 333988713 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680430793880 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5692] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680385547176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5693] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680384494632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5694] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680383441576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5695] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680382389032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5696] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680381335976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5697] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680380283432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5698] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5698/stat : 5698 (java) S 5687 5689 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680261265576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5699] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5699/stat : 5699 (java) S 5687 5689 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680260213032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5700] ppid=5687 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/5689/task/5700/stat : 5700 (java) S 5687 5689 5561 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 333988716 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680248015720 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5701] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5701/stat : 5701 (java) S 5687 5689 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333988717 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680246962040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5702] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5702/stat : 5702 (java) S 5687 5689 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333988717 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140680245908872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5703] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5703/stat : 5703 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679506291472 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5704] ppid=5687 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/5689/task/5704/stat : 5704 (java) R 5687 5689 5561 0 -1 4202560 6904 0 0 0 87 2 0 0 20 0 22 0 333988719 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679505238328 209887212604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5705] ppid=5687 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/5689/task/5705/stat : 5705 (java) S 5687 5689 5561 0 -1 4202560 11076 0 0 0 82 3 0 0 20 0 22 0 333988719 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679504185784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5706] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5706/stat : 5706 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679503132920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5707] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5707/stat : 5707 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679502080584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5708] ppid=5687 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/5689/task/5708/stat : 5708 (java) R 5687 5689 5561 0 -1 4202560 31 0 0 0 123 0 0 0 20 0 22 0 333988730 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679501026128 140680262251834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5709] ppid=5687 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/5689/task/5709/stat : 5709 (java) R 5687 5689 5561 0 -1 4202560 158 0 0 0 119 4 0 0 20 0 22 0 333988730 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679499971480 140680261701386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5710] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5710/stat : 5710 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988731 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679498921256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5711] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5711/stat : 5711 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988731 12137111552 71747 33554432000 1073741824 1073778376 140734651560096 140679497868712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 1.61 0.38 0.40 5/220 5711
/proc/meminfo: memFree=25447596/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=7.62 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 22849 0 1 0 750 12 0 0 20 0 22 0 333988712 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 84557 2281 9 0 2953849 0
[pid=5689/tid=5691] ppid=5687 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5561 0 -1 4202560 3374 0 1 0 13 2 0 0 20 0 22 0 333988713 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680430793880 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5692] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680385547176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5693] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680384494632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5694] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680383441576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5695] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680382389032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5696] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680381335976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5697] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680380283432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5698] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5698/stat : 5698 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680261265576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5699] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5699/stat : 5699 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988715 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680260213032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5700] ppid=5687 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/5689/task/5700/stat : 5700 (java) R 5687 5689 5561 0 -1 4202560 34 0 0 0 19 0 0 0 20 0 22 0 333988716 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680248014576 209883513168 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5701] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5701/stat : 5701 (java) S 5687 5689 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333988717 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680246962040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5702] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5702/stat : 5702 (java) S 5687 5689 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333988717 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140680245908872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5703] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5703/stat : 5703 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679506291472 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5704] ppid=5687 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/5689/task/5704/stat : 5704 (java) S 5687 5689 5561 0 -1 4202560 6905 0 0 0 89 2 0 0 20 0 22 0 333988719 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679505238328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5705] ppid=5687 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/5689/task/5705/stat : 5705 (java) S 5687 5689 5561 0 -1 4202560 11077 0 0 0 86 3 0 0 20 0 22 0 333988719 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679504185784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5706] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5706/stat : 5706 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679503132920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5707] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5707/stat : 5707 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988719 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679502080584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5708] ppid=5687 vsize=11852648 CPUtime=2.66 cores=1,3,5,7
/proc/5689/task/5708/stat : 5708 (java) S 5687 5689 5561 0 -1 4202560 33 0 0 0 266 0 0 0 20 0 22 0 333988730 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679501025928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5709] ppid=5687 vsize=11852648 CPUtime=2.66 cores=1,3,5,7
/proc/5689/task/5709/stat : 5709 (java) S 5687 5689 5561 0 -1 4202560 180 0 0 0 262 4 0 0 20 0 22 0 333988730 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679499971928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5710] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5710/stat : 5710 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988731 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679498921256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5711] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5711/stat : 5711 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988731 12137111552 84557 33554432000 1073741824 1073778376 140734651560096 140679497868712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+3.90079 s]
/proc/loadavg: 1.61 0.38 0.40 5/220 5711
/proc/meminfo: memFree=25420724/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=8.96 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 22854 0 1 0 883 13 0 0 20 0 19 0 333988712 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 85060 2282 9 0 2953849 0
[pid=5689/tid=5691] ppid=5687 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5561 0 -1 4202560 3374 0 1 0 13 2 0 0 20 0 19 0 333988713 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680430793880 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5692] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680385547176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5693] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680384494632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5694] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680383441576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5695] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680382389032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5696] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680381335976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5697] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680380283432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5698] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5698/stat : 5698 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680261265576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5699] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5699/stat : 5699 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680260213032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5700] ppid=5687 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/5689/task/5700/stat : 5700 (java) S 5687 5689 5561 0 -1 4202560 36 0 0 0 22 0 0 0 20 0 19 0 333988716 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680248015720 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5701] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5701/stat : 5701 (java) S 5687 5689 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333988717 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680246962040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5702] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5702/stat : 5702 (java) S 5687 5689 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333988717 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680245908872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5703] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5703/stat : 5703 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679506291472 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5704] ppid=5687 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/5689/task/5704/stat : 5704 (java) S 5687 5689 5561 0 -1 4202560 6905 0 0 0 89 2 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679505238328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5705] ppid=5687 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/5689/task/5705/stat : 5705 (java) S 5687 5689 5561 0 -1 4202560 11077 0 0 0 86 3 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679504185784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5706] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5706/stat : 5706 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679503132920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5707] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5707/stat : 5707 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679502080584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5711] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5711/stat : 5711 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333988731 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679497868712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 11852648
[startup+4.10071 s]
/proc/loadavg: 1.61 0.38 0.40 5/220 5711
/proc/meminfo: memFree=25420724/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=8.96 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 22854 0 1 0 883 13 0 0 20 0 19 0 333988712 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 85060 2282 9 0 2953849 0
[pid=5689/tid=5691] ppid=5687 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5561 0 -1 4202560 3374 0 1 0 13 2 0 0 20 0 19 0 333988713 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680430793880 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5692] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680385547176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5693] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680384494632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5694] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680383441576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5695] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680382389032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5696] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680381335976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5697] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680380283432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5698] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5698/stat : 5698 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680261265576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5699] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5699/stat : 5699 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333988715 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680260213032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5700] ppid=5687 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/5689/task/5700/stat : 5700 (java) S 5687 5689 5561 0 -1 4202560 36 0 0 0 22 0 0 0 20 0 19 0 333988716 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680248015720 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5701] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5701/stat : 5701 (java) S 5687 5689 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333988717 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680246962040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5702] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5702/stat : 5702 (java) S 5687 5689 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333988717 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140680245908872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5703] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5703/stat : 5703 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679506291472 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5704] ppid=5687 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/5689/task/5704/stat : 5704 (java) S 5687 5689 5561 0 -1 4202560 6905 0 0 0 89 2 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679505238328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5705] ppid=5687 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/5689/task/5705/stat : 5705 (java) S 5687 5689 5561 0 -1 4202560 11077 0 0 0 86 3 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679504185784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5706] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5706/stat : 5706 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679503132920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5707] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5707/stat : 5707 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333988719 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679502080584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5711] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5711/stat : 5711 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333988731 12137111552 85060 33554432000 1073741824 1073778376 140734651560096 140679497868712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 11852648
[startup+4.20071 s]
/proc/loadavg: 1.61 0.38 0.40 5/220 5711
/proc/meminfo: memFree=25420724/32873844 swapFree=7632/7632
[pid=5689] ppid=5687 vsize=11852648 CPUtime=8.96 cores=1,3,5,7
/proc/5689/stat : 5689 (java) S 5687 5689 5561 0 -1 4202496 22859 0 1 0 883 13 0 0 20 0 20 0 333988712 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140734651551232 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5689/statm: 2963162 85575 2282 9 0 2953849 0
[pid=5689/tid=5691] ppid=5687 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5561 0 -1 4202560 3375 0 1 0 13 2 0 0 20 0 20 0 333988713 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680430793432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5692] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680385547176 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5693] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680384494632 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5694] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680383441576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5695] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5561 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680382389032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5696] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680381335976 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5697] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5561 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680380283432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5698] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5698/stat : 5698 (java) S 5687 5689 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680261265576 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5699] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5699/stat : 5699 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988715 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680260213032 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5700] ppid=5687 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/5689/task/5700/stat : 5700 (java) S 5687 5689 5561 0 -1 4202560 36 0 0 0 22 0 0 0 20 0 20 0 333988716 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680248015720 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5701] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5701/stat : 5701 (java) S 5687 5689 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 333988717 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680246962040 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5702] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5702/stat : 5702 (java) S 5687 5689 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333988717 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140680245908872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5703] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5703/stat : 5703 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988719 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679506291472 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5689/tid=5704] ppid=5687 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/5689/task/5704/stat : 5704 (java) S 5687 5689 5561 0 -1 4202560 6905 0 0 0 89 2 0 0 20 0 20 0 333988719 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679505238328 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5705] ppid=5687 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/5689/task/5705/stat : 5705 (java) S 5687 5689 5561 0 -1 4202560 11077 0 0 0 86 3 0 0 20 0 20 0 333988719 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679504185784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5689/tid=5706] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5706/stat : 5706 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988719 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679503132920 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5689/tid=5707] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5707/stat : 5707 (java) S 5687 5689 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988719 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679502080584 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5689/tid=5711] ppid=5687 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5689/task/5711/stat : 5711 (java) S 5687 5689 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988731 12137111552 85575 33554432000 1073741824 1073778376 140734651560096 140679497868712 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 11852648
Child status: 10
Real time (s): 4.2174
CPU time (s): 9.02363
CPU user time (s): 8.79966
CPU system time (s): 0.223965
CPU usage (%): 213.962
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.79966
system time used= 0.223965
maximum resident set size= 342328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22868
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 645
involuntary context switches= 220
runsolver used 0.016997 second user time and 0.046992 second system time
The end