runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4254241-1501615291/watcher-4254241-1501615291 -o /tmp/evaluation-result-4254241-1501615291/solver-4254241-1501615291 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 169470757 HOME/instance-4254241-1501615291.xml
pid=22683
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (runsolver) D 22683 22686 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61182613 24240128 106 18446744073709551615 4194304 4338465 140722746414624 140722746412264 140163614499543 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 34398208 140722746417244 140722746417733 140722746417733 140722746421194 0
/proc/22686/statm: 5918 106 53 36 0 2156 0
[startup+0.100091 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200243 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300199 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700543 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22688 sig 9
??? kill 22686 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80054 s]
/proc/loadavg: 2.77 2.18 2.01 4/198 22686
/proc/meminfo: memFree=31802468/32770624 swapFree=0/208960
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.20754 s]
/proc/loadavg: 2.77 2.18 2.01 6/214 22702
/proc/meminfo: memFree=31734236/32770624 swapFree=0/208972
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
[pid=22688] ppid=22686 vsize=13980732 CPUtime=2.73 cores=0,2,4,6
/proc/22688/stat : 22688 (java) S 22686 22686 18930 0 -1 1077944320 23627 0 0 0 268 5 0 0 20 0 15 0 61182622 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140727542423584 140334130306807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
/proc/22688/statm: 3495183 20837 3181 1 0 3483484 0
[pid=22688/tid=22689] ppid=22686 vsize=13980732 CPUtime=1.05 cores=0,2,4,6
/proc/22688/task/22689/stat : 22689 (java) R 22686 22686 18930 0 -1 4202560 9533 0 0 0 102 3 0 0 20 0 15 0 61182622 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140334134538064 140333774544140 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22690] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22690/stat : 22690 (java) S 22686 22686 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182623 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333730057360 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22691] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22691/stat : 22691 (java) S 22686 22686 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182623 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333729004560 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22692] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22692/stat : 22692 (java) S 22686 22686 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182623 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333727951760 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22693] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22693/stat : 22693 (java) S 22686 22686 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182623 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333726898960 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22694] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22694/stat : 22694 (java) S 22686 22686 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61182624 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333608802672 140334130317954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22695] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22695/stat : 22695 (java) S 22686 22686 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182625 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333607748640 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22696] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22696/stat : 22696 (java) S 22686 22686 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182625 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333606695792 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22697] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22697/stat : 22697 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182628 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333605644112 140334130325403 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22698] ppid=22686 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/22688/task/22698/stat : 22698 (java) R 22686 22686 18930 0 -1 4202560 6377 0 0 0 65 0 0 0 20 0 15 0 61182628 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333604577112 140334108332686 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22699] ppid=22686 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/22688/task/22699/stat : 22699 (java) R 22686 22686 18930 0 -1 4202560 4904 0 0 0 69 0 0 0 20 0 15 0 61182628 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333603520712 140334109484240 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22700] ppid=22686 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/22688/task/22700/stat : 22700 (java) S 22686 22686 18930 0 -1 1077944384 1538 0 0 0 30 0 0 0 20 0 15 0 61182628 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333602486896 140334130317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22701] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22701/stat : 22701 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182628 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333601434336 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22702] ppid=22686 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22702/stat : 22702 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182632 14316269568 20837 18446744073709551615 4194304 4196468 140727542441040 140333600381616 140334130317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 13990244
[startup+1.40154 s]
/proc/loadavg: 2.77 2.18 2.01 6/214 22702
/proc/meminfo: memFree=31734236/32770624 swapFree=0/208972
[pid=22686] ppid=22683 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22686/stat : 22686 (xcsp3-exec) S 22683 22686 18930 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 61182613 9740288 345 18446744073709551615 4194304 5098028 140732797396832 140732797394936 140354948764284 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 39936000 140732797403547 140732797403750 140732797403750 140732797407211 0
/proc/22686/statm: 2378 345 289 221 0 87 0
[pid=22688] ppid=22686 vsize=13982748 CPUtime=3.32 cores=0,2,4,6
/proc/22688/stat : 22688 (java) S 22686 22686 18930 0 -1 1077944320 29664 0 0 0 326 6 0 0 20 0 15 0 61182622 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140727542423584 140334130306807 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
/proc/22688/statm: 3495687 25540 3183 1 0 3483988 0
[pid=22688/tid=22689] ppid=22686 vsize=13982748 CPUtime=1.24 cores=0,2,4,6
/proc/22688/task/22689/stat : 22689 (java) R 22686 22686 18930 0 -1 4202560 9545 0 0 0 121 3 0 0 20 0 15 0 61182622 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140334134543512 140333774623751 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22690] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22690/stat : 22690 (java) S 22686 22686 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182623 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333730057360 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22691] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22691/stat : 22691 (java) S 22686 22686 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61182623 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333729004560 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22692] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22692/stat : 22692 (java) S 22686 22686 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182623 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333727951760 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22693] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22693/stat : 22693 (java) S 22686 22686 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61182623 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333726898960 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22694] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22694/stat : 22694 (java) S 22686 22686 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61182624 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333608802672 140334130317954 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22695] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22695/stat : 22695 (java) S 22686 22686 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61182625 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333607748640 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22696] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22696/stat : 22696 (java) S 22686 22686 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61182625 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333606695792 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22697] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22697/stat : 22697 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182628 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333605644112 140334130325403 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22698] ppid=22686 vsize=13982748 CPUtime=0.85 cores=0,2,4,6
/proc/22688/task/22698/stat : 22698 (java) R 22686 22686 18930 0 -1 4202560 9330 0 0 0 84 1 0 0 20 0 15 0 61182628 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333604576968 140334109563382 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22699] ppid=22686 vsize=13982748 CPUtime=0.88 cores=0,2,4,6
/proc/22688/task/22699/stat : 22699 (java) R 22686 22686 18930 0 -1 4202560 7740 0 0 0 88 0 0 0 20 0 15 0 61182628 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333603525832 140334114703494 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22700] ppid=22686 vsize=13982748 CPUtime=0.31 cores=0,2,4,6
/proc/22688/task/22700/stat : 22700 (java) S 22686 22686 18930 0 -1 1077944384 1743 0 0 0 31 0 0 0 20 0 15 0 61182628 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333602486896 140334130317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22701] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22701/stat : 22701 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182628 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333601434336 140334130317013 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
[pid=22688/tid=22702] ppid=22686 vsize=13982748 CPUtime=0 cores=0,2,4,6
/proc/22688/task/22702/stat : 22702 (java) S 22686 22686 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61182632 14318333952 25540 18446744073709551615 4194304 4196468 140727542441040 140333600381616 140334130317954 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39325696 140727542444499 140727542444674 140727542444674 140727542448079 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13992260
Child status: 0
Real time (s): 1.46504
CPU time (s): 3.48026
CPU user time (s): 3.40918
CPU system time (s): 0.071085
CPU usage (%): 237.555
Max. virtual memory (cumulated for all children) (KiB): 13992260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.40918
system time used= 0.071085
maximum resident set size= 108360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32363
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1827
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.005514 second user time and 0.016543 second system time
The end