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-4254164-1501616152/watcher-4254164-1501616152 -o /tmp/evaluation-result-4254164-1501616152/solver-4254164-1501616152 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5191 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 163181451 HOME/instance-4254164-1501616152.xml
pid=8668
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: 1.88 1.77 1.81 4/196 8671
/proc/meminfo: memFree=31783232/32770624 swapFree=0/187180
[pid=8671] ppid=8668 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (runsolver) D 8668 8671 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10235543 24240128 108 18446744073709551615 4194304 4338465 140734802464736 140734802462376 139917759988439 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 6828032 140734802473054 140734802473542 140734802473542 140734802477002 0
/proc/8671/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.88 1.77 1.81 4/196 8671
/proc/meminfo: memFree=31783232/32770624 swapFree=0/187180
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200333 s]
/proc/loadavg: 1.88 1.77 1.81 4/196 8671
/proc/meminfo: memFree=31783232/32770624 swapFree=0/187180
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300833 s]
/proc/loadavg: 1.88 1.77 1.81 4/196 8671
/proc/meminfo: memFree=31783232/32770624 swapFree=0/187180
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700761 s]
/proc/loadavg: 1.88 1.77 1.81 4/196 8671
/proc/meminfo: memFree=31783232/32770624 swapFree=0/187180
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.89 1.77 1.81 5/212 8687
/proc/meminfo: memFree=31709792/32770624 swapFree=0/187200
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=3.61 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 29124 0 0 0 354 7 0 0 20 0 15 0 10235552 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 26205 3177 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 8750 0 0 0 129 4 0 0 20 0 15 0 10235553 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470602859096 140470214130834 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) R 8671 8671 5131 0 -1 4202560 10248 0 0 0 95 1 0 0 20 0 15 0 10235558 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470072901080 140470580167595 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) R 8671 8671 5131 0 -1 4202560 6849 0 0 0 93 1 0 0 20 0 15 0 10235558 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470071849672 140470580167928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 1971 0 0 0 36 0 0 0 20 0 15 0 10235558 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 26205 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 1.89 1.77 1.81 5/212 8687
/proc/meminfo: memFree=31670068/32770624 swapFree=0/187212
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=7.07 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 33786 0 0 0 699 8 0 0 20 0 15 0 10235552 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 36933 3187 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9074 0 0 0 288 5 0 0 20 0 15 0 10235553 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470602860016 140470215636576 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 12226 0 0 0 187 1 0 0 20 0 15 0 10235558 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8438 0 0 0 184 1 0 0 20 0 15 0 10235558 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 2695 0 0 0 39 0 0 0 20 0 15 0 10235558 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 36933 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.90 1.77 1.81 3/212 8687
/proc/meminfo: memFree=31590892/32770624 swapFree=0/187212
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=10.31 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 36817 0 0 0 1022 9 0 0 20 0 15 0 10235552 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52723 3206 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9254 0 0 0 606 6 0 0 20 0 15 0 10235553 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470602861912 140470215117835 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.88 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 12332 0 0 0 187 1 0 0 20 0 15 0 10235558 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.85 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8540 0 0 0 184 1 0 0 20 0 15 0 10235558 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3221 0 0 0 40 0 0 0 20 0 15 0 10235558 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1106 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52723 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.90 1.78 1.81 3/212 8687
/proc/meminfo: memFree=31589336/32770624 swapFree=0/187216
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=16.78 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 39246 0 0 0 1668 10 0 0 20 0 15 0 10235552 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52067 3217 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=12.51 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9633 0 0 0 1245 6 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470602859920 140470214329873 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
################
# More data... #
################
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3451 0 0 0 41 0 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1127 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 16.88
Current children cumulated vsize (KiB) 13990244
[startup+14.4066 s]
/proc/loadavg: 1.90 1.78 1.81 3/212 8687
/proc/meminfo: memFree=31596348/32770624 swapFree=0/187224
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=18.48 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 39246 0 0 0 1838 10 0 0 20 0 15 0 10235552 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52067 3217 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=14.22 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9633 0 0 0 1416 6 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470602859920 140470215636533 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 13026 0 0 0 190 1 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8854 0 0 0 186 1 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3451 0 0 0 41 0 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1127 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52067 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 13990244
[startup+15.2007 s]
/proc/loadavg: 1.90 1.78 1.81 3/212 8687
/proc/meminfo: memFree=31596348/32770624 swapFree=0/187224
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=19.28 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 39827 0 0 0 1918 10 0 0 20 0 15 0 10235552 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52090 3217 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=15.01 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9853 0 0 0 1495 6 0 0 20 0 15 0 10235553 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470602862848 140470214725273 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 13026 0 0 0 190 1 0 0 20 0 15 0 10235558 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8854 0 0 0 186 1 0 0 20 0 15 0 10235558 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3451 0 0 0 41 0 0 0 20 0 15 0 10235558 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1129 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52090 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 13990244
[startup+16.0008 s]
/proc/loadavg: 1.83 1.76 1.80 3/212 8687
/proc/meminfo: memFree=31596348/32770624 swapFree=0/187224
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=20.09 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 40362 0 0 0 1999 10 0 0 20 0 15 0 10235552 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52094 3217 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=15.81 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9957 0 0 0 1575 6 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470602862848 140470214546232 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 654 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 13028 0 0 0 190 1 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8856 0 0 0 186 1 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3775 0 0 0 41 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1232 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 20.09
Current children cumulated vsize (KiB) 13990244
[startup+16.4007 s]
/proc/loadavg: 1.83 1.76 1.80 3/212 8687
/proc/meminfo: memFree=31596348/32770624 swapFree=0/187224
[pid=8671] ppid=8668 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/8671/stat : 8671 (xcsp3-exec) S 8668 8671 5131 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10235543 9740288 345 18446744073709551615 4194304 5098028 140735050945744 140735050943848 140397356868220 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 39436288 140735050953116 140735050953319 140735050953319 140735050956779 0
/proc/8671/statm: 2378 345 289 221 0 87 0
[pid=8673] ppid=8671 vsize=13980732 CPUtime=20.49 cores=0,2,4,6
/proc/8673/stat : 8673 (java) S 8671 8671 5131 0 -1 1077944320 40434 0 0 0 2039 10 0 0 20 0 15 0 10235552 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140725837572096 140470598622967 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
/proc/8673/statm: 3495183 52094 3217 1 0 3483484 0
[pid=8673/tid=8674] ppid=8671 vsize=13980732 CPUtime=16.21 cores=0,2,4,6
/proc/8673/task/8674/stat : 8674 (java) R 8671 8671 5131 0 -1 4202560 9966 0 0 0 1615 6 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470602859920 140470580029242 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8675] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8675/stat : 8675 (java) S 8671 8671 5131 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470533057552 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8676] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8676/stat : 8676 (java) S 8671 8671 5131 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470532005008 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8677] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8677/stat : 8677 (java) S 8671 8671 5131 0 -1 1077944384 639 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470530951952 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8678] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8678/stat : 8678 (java) S 8671 8671 5131 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 10235553 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470195501968 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8679] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8679/stat : 8679 (java) S 8671 8671 5131 0 -1 1077944384 656 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470077126896 140470598634114 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8680] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8680/stat : 8680 (java) S 8671 8671 5131 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470076073120 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8681] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8681/stat : 8681 (java) S 8671 8671 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10235555 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470075020016 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8682] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8682/stat : 8682 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470073968592 140470598641563 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8683] ppid=8671 vsize=13980732 CPUtime=1.91 cores=0,2,4,6
/proc/8673/task/8683/stat : 8683 (java) S 8671 8671 5131 0 -1 1077944384 13028 0 0 0 190 1 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470072916720 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8684] ppid=8671 vsize=13980732 CPUtime=1.87 cores=0,2,4,6
/proc/8673/task/8684/stat : 8684 (java) S 8671 8671 5131 0 -1 1077944384 8856 0 0 0 186 1 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470071864176 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8685] ppid=8671 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/8673/task/8685/stat : 8685 (java) S 8671 8671 5131 0 -1 1077944384 3836 0 0 0 41 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470070811120 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8686] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8686/stat : 8686 (java) S 8671 8671 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10235558 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470069758816 140470598633173 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
[pid=8673/tid=8687] ppid=8671 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/8673/task/8687/stat : 8687 (java) S 8671 8671 5131 0 -1 1077944384 1232 0 0 0 0 0 0 0 20 0 15 0 10235564 14316269568 52094 18446744073709551615 4194304 4196468 140725837589552 140470068705840 140470598634114 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24817664 140725837595092 140725837595267 140725837595267 140725837598671 0
Current children cumulated CPU time (s) 20.49
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 16.4751
CPU time (s): 20.5933
CPU user time (s): 20.484
CPU system time (s): 0.109313
CPU usage (%): 124.997
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.484
system time used= 0.109313
maximum resident set size= 213060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41988
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= 2272
involuntary context switches= 40
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065241 second user time and 0.117278 second system time
The end