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-4254067-1501615752/watcher-4254067-1501615752 -o /tmp/evaluation-result-4254067-1501615752/solver-4254067-1501615752 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1439917097 HOME/instance-4254067-1501615752.xml
pid=8787
running on 4 cores: 1,3,5,7
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.63 1.82 1.89 3/195 8790
/proc/meminfo: memFree=31774820/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (runsolver) D 8787 8790 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10192174 24240128 108 18446744073709551615 4194304 4338465 140733757440000 140733757437640 140496977187543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35880960 140733757444189 140733757444678 140733757444678 140733757448138 0
/proc/8790/statm: 5918 108 54 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 1.63 1.82 1.89 3/195 8790
/proc/meminfo: memFree=31774820/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200267 s]
/proc/loadavg: 1.63 1.82 1.89 3/195 8790
/proc/meminfo: memFree=31774820/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300241 s]
/proc/loadavg: 1.63 1.82 1.89 3/195 8790
/proc/meminfo: memFree=31774820/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7074 s]
/proc/loadavg: 1.63 1.82 1.89 3/195 8790
/proc/meminfo: memFree=31774820/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/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.63 1.82 1.89 5/211 8806
/proc/meminfo: memFree=31671480/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=3.6 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 42928 0 0 0 354 6 0 0 20 0 15 0 10192183 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 31236 3171 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 8523 0 0 0 130 2 0 0 20 0 15 0 10192183 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140263293936504 140262914734220 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) R 8790 8790 5123 0 -1 4202560 19910 0 0 0 99 1 0 0 20 0 15 0 10192188 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262831199536 140263271243776 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) R 8790 8790 5123 0 -1 4202560 11263 0 0 0 97 2 0 0 20 0 15 0 10192188 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262830146720 140263271244527 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 1923 0 0 0 25 0 0 0 20 0 15 0 10192188 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192196 14316269568 31236 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 1.63 1.82 1.89 3/211 8806
/proc/meminfo: memFree=31642788/32770624 swapFree=0/182876
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=6.3 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 44953 0 0 0 622 8 0 0 20 0 15 0 10192183 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 44811 3180 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 9103 0 0 0 288 3 0 0 20 0 15 0 10192183 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140263293937240 140262912290960 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 20453 0 0 0 154 1 0 0 20 0 15 0 10192188 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 11797 0 0 0 151 2 0 0 20 0 15 0 10192188 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 2235 0 0 0 27 0 0 0 20 0 15 0 10192188 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10192196 14316269568 44811 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.50 1.79 1.88 3/211 8806
/proc/meminfo: memFree=31563036/32770624 swapFree=0/182884
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=9.63 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 49553 0 0 0 953 10 0 0 20 0 15 0 10192183 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 56208 3202 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 9333 0 0 0 607 4 0 0 20 0 15 0 10192183 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140263293938928 140262915489276 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.59 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 20988 0 0 0 158 1 0 0 20 0 15 0 10192188 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 12344 0 0 0 156 2 0 0 20 0 15 0 10192188 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 3293 0 0 0 29 1 0 0 20 0 15 0 10192188 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1264 0 0 0 0 0 0 0 20 0 15 0 10192196 14316269568 56208 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.38 1.76 1.87 3/211 8806
/proc/meminfo: memFree=31553760/32770624 swapFree=0/182896
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=16.13 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 51601 0 0 0 1602 11 0 0 20 0 15 0 10192183 14316269568 56371 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 56371 3211 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=12.49 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 9687 0 0 0 1245 4 0 0 20 0 15 0 10192183 14316269568 56371 18446744073709551615 4194304 4196468 140727915314384 140263293938912 140262912384880 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 10192184 14316269568 56371 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 10192184 14316269568 56371 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
################
# More data... #
################
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 4417 0 0 0 30 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1506 0 0 0 1 1 0 0 20 0 15 0 10192196 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 69.66
Current children cumulated vsize (KiB) 13990244
[startup+67.2064 s]
/proc/loadavg: 1.43 1.71 1.85 3/211 8808
/proc/meminfo: memFree=31499344/32770624 swapFree=0/182936
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=71.27 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 62960 0 0 0 7108 19 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 53458 3211 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=66.69 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 12141 0 0 0 6664 5 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263293939360 140262914586011 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 980 0 0 0 13 1 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 891 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 752 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 962 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 1522 0 0 0 11 1 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 23508 0 0 0 172 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 14917 0 0 0 170 2 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 4417 0 0 0 30 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1506 0 0 0 1 1 0 0 20 0 15 0 10192196 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 71.27
Current children cumulated vsize (KiB) 13990244
[startup+67.6007 s]
/proc/loadavg: 1.43 1.71 1.85 3/211 8808
/proc/meminfo: memFree=31499344/32770624 swapFree=0/182936
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=71.66 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 62963 0 0 0 7147 19 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 53458 3211 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=67.08 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 12142 0 0 0 6703 5 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263293939648 140262914586216 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 980 0 0 0 14 1 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 892 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 753 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 962 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 1522 0 0 0 11 1 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 23508 0 0 0 172 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 14917 0 0 0 170 2 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 4417 0 0 0 30 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1506 0 0 0 1 1 0 0 20 0 15 0 10192196 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 71.66
Current children cumulated vsize (KiB) 13990244
[startup+67.8007 s]
/proc/loadavg: 1.43 1.71 1.85 3/211 8808
/proc/meminfo: memFree=31499344/32770624 swapFree=0/182936
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=71.86 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 62963 0 0 0 7167 19 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 53458 3211 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=67.28 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 12142 0 0 0 6723 5 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263293939648 140262915489680 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 980 0 0 0 14 1 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 892 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 753 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 962 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 1522 0 0 0 11 1 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 23508 0 0 0 172 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 14917 0 0 0 170 2 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 4417 0 0 0 30 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1506 0 0 0 1 1 0 0 20 0 15 0 10192196 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 71.86
Current children cumulated vsize (KiB) 13990244
[startup+67.9007 s]
/proc/loadavg: 1.43 1.71 1.85 3/211 8808
/proc/meminfo: memFree=31499344/32770624 swapFree=0/182936
[pid=8790] ppid=8787 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (xcsp3-exec) S 8787 8790 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10192174 9740288 345 18446744073709551615 4194304 5098028 140729787429056 140729787427160 139794293691004 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 7548928 140729787437467 140729787437671 140729787437671 140729787441131 0
/proc/8790/statm: 2378 345 289 221 0 87 0
[pid=8792] ppid=8790 vsize=13980732 CPUtime=71.96 cores=1,3,5,7
/proc/8792/stat : 8792 (java) S 8790 8790 5123 0 -1 1077944320 62963 0 0 0 7177 19 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140727915296928 140263289700087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
/proc/8792/statm: 3495183 53458 3211 1 0 3483484 0
[pid=8792/tid=8793] ppid=8790 vsize=13980732 CPUtime=67.38 cores=1,3,5,7
/proc/8792/task/8793/stat : 8793 (java) R 8790 8790 5123 0 -1 4202560 12142 0 0 0 6733 5 0 0 20 0 15 0 10192183 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263293939648 140262914588123 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8794] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8794/stat : 8794 (java) S 8790 8790 5123 0 -1 1077944384 980 0 0 0 14 1 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140263231646864 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8795] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8795/stat : 8795 (java) S 8790 8790 5123 0 -1 1077944384 892 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262888709136 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8796] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8796/stat : 8796 (java) S 8790 8790 5123 0 -1 1077944384 753 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262887656336 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8797] ppid=8790 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/8792/task/8797/stat : 8797 (java) S 8790 8790 5123 0 -1 1077944384 962 0 0 0 13 2 0 0 20 0 15 0 10192184 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262886603536 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8798] ppid=8790 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/8792/task/8798/stat : 8798 (java) S 8790 8790 5123 0 -1 1077944384 1522 0 0 0 11 1 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262835423600 140263289711234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8799] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8799/stat : 8799 (java) S 8790 8790 5123 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10192185 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262834369568 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8800] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8800/stat : 8800 (java) S 8790 8790 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10192186 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262833316720 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8801] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8801/stat : 8801 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262832265040 140263289718683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8802] ppid=8790 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/8792/task/8802/stat : 8802 (java) S 8790 8790 5123 0 -1 1077944384 23508 0 0 0 172 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262831213424 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8803] ppid=8790 vsize=13980732 CPUtime=1.72 cores=1,3,5,7
/proc/8792/task/8803/stat : 8803 (java) S 8790 8790 5123 0 -1 1077944384 14917 0 0 0 170 2 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262830160624 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8804] ppid=8790 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8792/task/8804/stat : 8804 (java) S 8790 8790 5123 0 -1 1077944384 4417 0 0 0 30 1 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262829107824 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8805] ppid=8790 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8792/task/8805/stat : 8805 (java) S 8790 8790 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10192188 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262760245984 140263289710293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
[pid=8792/tid=8806] ppid=8790 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/8792/task/8806/stat : 8806 (java) S 8790 8790 5123 0 -1 1077944384 1506 0 0 0 1 1 0 0 20 0 15 0 10192196 14316269568 53458 18446744073709551615 4194304 4196468 140727915314384 140262759193264 140263289711234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31531008 140727915319764 140727915319939 140727915319939 140727915323343 0
Current children cumulated CPU time (s) 71.96
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 67.9959
CPU time (s): 72.0698
CPU user time (s): 71.8721
CPU system time (s): 0.197755
CPU usage (%): 105.991
Max. virtual memory (cumulated for all children) (KiB): 13993240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.8721
system time used= 0.197755
maximum resident set size= 236932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64260
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= 6623
involuntary context switches= 160
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.283066 second user time and 0.448494 second system time
The end