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-4254066-1501615733/watcher-4254066-1501615733 -o /tmp/evaluation-result-4254066-1501615733/solver-4254066-1501615733 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 106651567 HOME/instance-4254066-1501615733.xml
pid=8916
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.46 1.73 1.84 3/196 8919
/proc/meminfo: memFree=31760460/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (runsolver) D 8916 8919 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10196404 24240128 108 18446744073709551615 4194304 4338465 140723651312912 140723651310552 139981353652951 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16244736 140723651321950 140723651322438 140723651322438 140723651325898 0
/proc/8919/statm: 5918 108 54 36 0 2156 0
[startup+0.100331 s]
/proc/loadavg: 1.46 1.73 1.84 3/196 8919
/proc/meminfo: memFree=31760460/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200282 s]
/proc/loadavg: 1.46 1.73 1.84 3/196 8919
/proc/meminfo: memFree=31760460/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301267 s]
/proc/loadavg: 1.46 1.73 1.84 3/196 8919
/proc/meminfo: memFree=31760460/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701158 s]
/proc/loadavg: 1.46 1.73 1.84 3/196 8919
/proc/meminfo: memFree=31760460/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.46 1.73 1.84 5/212 8935
/proc/meminfo: memFree=31669236/32770624 swapFree=0/184736
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=3.7 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 33672 0 0 0 363 7 0 0 20 0 15 0 10196414 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 26421 3176 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 8907 0 0 0 131 3 0 0 20 0 15 0 10196414 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139779579437264 139779194163628 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10196416 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) R 8919 8919 5091 0 -1 4202560 8471 0 0 0 102 1 0 0 20 0 15 0 10196419 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778689129424 139779558698361 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) R 8919 8919 5091 0 -1 4202560 13382 0 0 0 102 1 0 0 20 0 15 0 10196419 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778688073408 139779555901824 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 1591 0 0 0 26 0 0 0 20 0 15 0 10196419 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196423 14316269568 26421 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 1.58 1.75 1.85 3/212 8935
/proc/meminfo: memFree=31639880/32770624 swapFree=0/184740
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=5.58 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 34785 0 0 0 549 9 0 0 20 0 15 0 10196414 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 47494 3178 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 9238 0 0 0 290 5 0 0 20 0 15 0 10196414 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139779579440664 139779194323366 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10196416 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.15 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 8544 0 0 0 114 1 0 0 20 0 15 0 10196419 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 13503 0 0 0 116 1 0 0 20 0 15 0 10196419 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 2126 0 0 0 28 0 0 0 20 0 15 0 10196419 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10196423 14316269568 47494 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.58 1.75 1.85 3/212 8936
/proc/meminfo: memFree=31558964/32770624 swapFree=0/184752
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=8.94 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 36181 0 0 0 884 10 0 0 20 0 15 0 10196414 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 54239 3202 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 9293 0 0 0 609 5 0 0 20 0 15 0 10196414 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139779579437688 139779194723728 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 10196415 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 10196416 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.22 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 8578 0 0 0 121 1 0 0 20 0 15 0 10196419 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.22 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 13550 0 0 0 121 1 0 0 20 0 15 0 10196419 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 2488 0 0 0 29 0 0 0 20 0 15 0 10196419 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 10196423 14316269568 54239 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 8.94
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.57 1.74 1.84 3/211 8936
/proc/meminfo: memFree=31574208/32770624 swapFree=0/184760
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=15.45 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 39493 0 0 0 1534 11 0 0 20 0 15 0 10196414 14316269568 52895 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 52895 3209 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 9926 0 0 0 1246 5 0 0 20 0 15 0 10196414 14316269568 52895 18446744073709551615 4194304 4196468 140734056411872 139779579437952 139779194070685 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 15 0 10196415 14316269568 52895 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 10196415 14316269568 52895 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
################
# More data... #
################
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 3827 0 0 0 31 0 0 0 20 0 15 0 10196419 14316269568 48258 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 48258 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 10196423 14316269568 48258 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 47.95
Current children cumulated vsize (KiB) 13990244
[startup+46.4007 s]
/proc/loadavg: 1.54 1.72 1.83 3/211 8936
/proc/meminfo: memFree=31588796/32770624 swapFree=0/184800
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=49.58 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 48822 0 0 0 4942 16 0 0 20 0 15 0 10196414 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 48277 3210 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=46.04 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 11659 0 0 0 4599 5 0 0 20 0 15 0 10196414 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779579440336 139779195007101 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 1031 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 561 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 502 0 0 0 6 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 511 0 0 0 6 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 1049 0 0 0 7 0 0 0 20 0 15 0 10196416 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 11448 0 0 0 133 1 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 16553 0 0 0 138 2 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 3827 0 0 0 31 0 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 320 0 0 0 0 1 0 0 20 0 15 0 10196423 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (KiB) 13990244
[startup+47.2007 s]
/proc/loadavg: 1.54 1.72 1.83 3/211 8936
/proc/meminfo: memFree=31588796/32770624 swapFree=0/184800
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=50.38 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 48834 0 0 0 5022 16 0 0 20 0 15 0 10196414 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 48277 3210 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=46.84 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 11663 0 0 0 4679 5 0 0 20 0 15 0 10196414 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779579440336 139779194070741 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 1034 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 563 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 503 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 513 0 0 0 6 1 0 0 20 0 15 0 10196415 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 1049 0 0 0 7 0 0 0 20 0 15 0 10196416 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 11448 0 0 0 133 1 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 16553 0 0 0 138 2 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 3827 0 0 0 31 0 0 0 20 0 15 0 10196419 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 320 0 0 0 0 1 0 0 20 0 15 0 10196423 14316269568 48277 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 13990244
[startup+48.0007 s]
/proc/loadavg: 1.49 1.71 1.83 3/211 8936
/proc/meminfo: memFree=31584700/32770624 swapFree=0/184800
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=51.18 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 48860 0 0 0 5102 16 0 0 20 0 15 0 10196414 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 48789 3210 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=47.63 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 11667 0 0 0 4758 5 0 0 20 0 15 0 10196414 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779579440640 139779194068225 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 1039 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 566 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 504 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 514 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 1061 0 0 0 7 1 0 0 20 0 15 0 10196416 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 11448 0 0 0 133 1 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 16553 0 0 0 138 2 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 3827 0 0 0 31 0 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 320 0 0 0 0 1 0 0 20 0 15 0 10196423 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 13990244
[startup+48.2007 s]
/proc/loadavg: 1.49 1.71 1.83 3/211 8936
/proc/meminfo: memFree=31584700/32770624 swapFree=0/184800
[pid=8919] ppid=8916 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8919/stat : 8919 (xcsp3-exec) S 8916 8919 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10196404 9740288 345 18446744073709551615 4194304 5098028 140722639323680 140722639321784 140082718614140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 8540160 140722639331740 140722639331943 140722639331943 140722639335403 0
/proc/8919/statm: 2378 345 289 221 0 87 0
[pid=8921] ppid=8919 vsize=13980732 CPUtime=51.39 cores=1,3,5,7
/proc/8921/stat : 8921 (java) S 8919 8919 5091 0 -1 1077944320 48866 0 0 0 5122 17 0 0 20 0 15 0 10196414 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 140734056394416 139779575201527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
/proc/8921/statm: 3495183 48789 3210 1 0 3483484 0
[pid=8921/tid=8922] ppid=8919 vsize=13980732 CPUtime=47.82 cores=1,3,5,7
/proc/8921/task/8922/stat : 8922 (java) R 8919 8919 5091 0 -1 4202560 11668 0 0 0 4777 5 0 0 20 0 15 0 10196414 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779579441008 139779194069774 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8923] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8923/stat : 8923 (java) S 8919 8919 5091 0 -1 1077944384 1039 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779175529488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8924] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8924/stat : 8924 (java) S 8919 8919 5091 0 -1 1077944384 566 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779174476944 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8925] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8925/stat : 8925 (java) S 8919 8919 5091 0 -1 1077944384 506 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779173423888 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8926] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8926/stat : 8926 (java) S 8919 8919 5091 0 -1 1077944384 514 0 0 0 7 1 0 0 20 0 15 0 10196415 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139779172371344 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8927] ppid=8919 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/8921/task/8927/stat : 8927 (java) S 8919 8919 5091 0 -1 1077944384 1064 0 0 0 7 1 0 0 20 0 15 0 10196416 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778693347568 139779575212674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8928] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8928/stat : 8928 (java) S 8919 8919 5091 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778692293792 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8929] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8929/stat : 8929 (java) S 8919 8919 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10196417 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778691240688 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8930] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8930/stat : 8930 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778690189264 139779575220123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8931] ppid=8919 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/8921/task/8931/stat : 8931 (java) S 8919 8919 5091 0 -1 1077944384 11448 0 0 0 133 1 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778689137392 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8932] ppid=8919 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/8921/task/8932/stat : 8932 (java) S 8919 8919 5091 0 -1 1077944384 16553 0 0 0 138 2 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778688084848 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8933] ppid=8919 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/8921/task/8933/stat : 8933 (java) S 8919 8919 5091 0 -1 1077944384 3827 0 0 0 31 0 0 0 20 0 15 0 10196419 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778687031792 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8934] ppid=8919 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8921/task/8934/stat : 8934 (java) S 8919 8919 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10196420 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778685979488 139779575211733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
[pid=8921/tid=8935] ppid=8919 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8921/task/8935/stat : 8935 (java) S 8919 8919 5091 0 -1 1077944384 320 0 0 0 0 1 0 0 20 0 15 0 10196423 14316269568 48789 18446744073709551615 4194304 4196468 140734056411872 139778684926512 139779575212674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20422656 140734056419796 140734056419971 140734056419971 140734056423375 0
Current children cumulated CPU time (s) 51.39
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 48.2361
CPU time (s): 51.4355
CPU user time (s): 51.2592
CPU system time (s): 0.176349
CPU usage (%): 106.633
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2592
system time used= 0.176349
maximum resident set size= 220124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49946
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= 4733
involuntary context switches= 127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.234585 second user time and 0.293672 second system time
The end