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-4246595-1500687978/watcher-4246595-1500687978 -o /tmp/evaluation-result-4246595-1500687978/solver-4246595-1500687978 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 953792168 HOME/instance-4246595-1500687978.xml
pid=21624
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 10.71 12.65 13.24 10/270 21627
/proc/meminfo: memFree=26714176/32770624 swapFree=5860/276128
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[startup+0.100119 s]
/proc/loadavg: 10.71 12.65 13.24 10/270 21627
/proc/meminfo: memFree=26714176/32770624 swapFree=5860/276128
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 10.71 12.65 13.24 10/270 21627
/proc/meminfo: memFree=26714176/32770624 swapFree=5860/276128
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 10.71 12.65 13.24 10/270 21627
/proc/meminfo: memFree=26714176/32770624 swapFree=5860/276128
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700299 s]
/proc/loadavg: 10.71 12.65 13.24 10/270 21627
/proc/meminfo: memFree=26714176/32770624 swapFree=5860/276128
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 10.57 12.59 13.22 10/291 21648
/proc/meminfo: memFree=26434692/32770624 swapFree=5860/275996
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=13267208 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) S 21627 21627 7411 0 -1 1077944320 13732 0 0 0 305 88 0 0 20 0 20 0 4065302 13585620992 113146 33554432000 4194304 4196468 140736769179456 140736769162000 139665604857591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
/proc/21628/statm: 3316802 113146 3222 1 0 3304035 0
[pid=21628/tid=21629] ppid=21627 vsize=13267208 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21629/stat : 21629 (java) R 21627 21627 7411 0 -1 4202560 6476 0 0 0 122 9 0 0 20 0 20 0 4065302 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665609095808 139665242552286 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21631] ppid=21627 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21631/stat : 21631 (java) S 21627 21627 7411 0 -1 1077944384 73 0 0 0 3 9 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665561410192 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21632] ppid=21627 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21632/stat : 21632 (java) S 21627 21627 7411 0 -1 1077944384 68 0 0 0 6 6 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665560357392 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21633] ppid=21627 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21633/stat : 21633 (java) S 21627 21627 7411 0 -1 1077944384 65 0 0 0 4 8 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665201625488 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21634] ppid=21627 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21634/stat : 21634 (java) S 21627 21627 7411 0 -1 1077944384 74 0 0 0 4 9 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665200572688 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21635] ppid=21627 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21635/stat : 21635 (java) S 21627 21627 7411 0 -1 1077944384 100 0 0 0 4 11 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665199520912 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21636] ppid=21627 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21636/stat : 21636 (java) S 21627 21627 7411 0 -1 1077944384 68 0 0 0 4 10 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665198468112 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21637] ppid=21627 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21637/stat : 21637 (java) S 21627 21627 7411 0 -1 1077944384 69 0 0 0 5 10 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665197415312 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21638] ppid=21627 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21638/stat : 21638 (java) S 21627 21627 7411 0 -1 1077944384 77 0 0 0 4 10 0 0 20 0 20 0 4065303 13585620992 113146 33554432000 4194304 4196468 140736769179456 139665196362512 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21639] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21639/stat : 21639 (java) S 21627 21627 7411 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4065305 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664932890992 139665604868738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21640] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21640/stat : 21640 (java) S 21627 21627 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4065306 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664931837024 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21641] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21641/stat : 21641 (java) S 21627 21627 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4065306 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664930784128 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21642] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4065310 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664929732432 139665604876187 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21643] ppid=21627 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21643/stat : 21643 (java) S 21627 21627 7411 0 -1 1077944384 1532 0 0 0 35 0 0 0 20 0 20 0 4065310 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664928680816 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21644] ppid=21627 vsize=13267208 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21644/stat : 21644 (java) S 21627 21627 7411 0 -1 1077944384 1273 0 0 0 45 0 0 0 20 0 20 0 4065310 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664927628016 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21645] ppid=21627 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21645/stat : 21645 (java) S 21627 21627 7411 0 -1 1077944384 1044 0 0 0 35 0 0 0 20 0 20 0 4065310 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664926575216 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21646] ppid=21627 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21646/stat : 21646 (java) S 21627 21627 7411 0 -1 1077944384 1308 0 0 0 27 0 0 0 20 0 20 0 4065310 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664925522416 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21647] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21647/stat : 21647 (java) S 21627 21627 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4065311 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664924469856 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21648] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21648/stat : 21648 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4065311 13585620992 113146 33554432000 4194304 4196468 140736769179456 139664923417136 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 13276720
[startup+3.10087 s]
/proc/loadavg: 10.57 12.59 13.22 10/291 21648
/proc/meminfo: memFree=26013676/32770624 swapFree=5860/275996
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=13267208 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) S 21627 21627 7411 0 -1 1077944320 15041 0 0 0 481 134 0 0 20 0 20 0 4065302 13585620992 209812 33554432000 4194304 4196468 140736769179456 140736769162000 139665604857591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
/proc/21628/statm: 3316802 209812 3223 1 0 3304035 0
[pid=21628/tid=21629] ppid=21627 vsize=13267208 CPUtime=2.82 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21629/stat : 21629 (java) R 21627 21627 7411 0 -1 4202560 6793 0 0 0 269 13 0 0 20 0 20 0 4065302 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665609095192 139665242977774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21631] ppid=21627 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21631/stat : 21631 (java) S 21627 21627 7411 0 -1 1077944384 381 0 0 0 6 15 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665561410192 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21632] ppid=21627 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21632/stat : 21632 (java) S 21627 21627 7411 0 -1 1077944384 123 0 0 0 9 12 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665560357392 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21633] ppid=21627 vsize=13267208 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21633/stat : 21633 (java) S 21627 21627 7411 0 -1 1077944384 109 0 0 0 7 13 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665201625488 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21634] ppid=21627 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21634/stat : 21634 (java) S 21627 21627 7411 0 -1 1077944384 119 0 0 0 7 14 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665200572688 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21635] ppid=21627 vsize=13267208 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21635/stat : 21635 (java) S 21627 21627 7411 0 -1 1077944384 145 0 0 0 7 16 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665199520912 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21636] ppid=21627 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21636/stat : 21636 (java) S 21627 21627 7411 0 -1 1077944384 118 0 0 0 7 15 0 0 20 0 20 0 4065303 13585620992 209812 33554432000 4194304 4196468 140736769179456 139665198468112 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21637] ppid=21627 vsize=13267208 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21637/stat : 21637 (java) S 21627 21627 7411 0 -1 1077944384 112 0 0 0 10 13 0 0 20 0 20 0 4065303 13585620992 210324 33554432000 4194304 4196468 140736769179456 139665197415312 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21638] ppid=21627 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21638/stat : 21638 (java) S 21627 21627 7411 0 -1 1077944384 131 0 0 0 6 16 0 0 20 0 20 0 4065303 13585620992 210324 33554432000 4194304 4196468 140736769179456 139665196362512 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21639] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21639/stat : 21639 (java) S 21627 21627 7411 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 20 0 4065305 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664932890992 139665604868738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21640] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21640/stat : 21640 (java) S 21627 21627 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4065306 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664931837024 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21641] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21641/stat : 21641 (java) S 21627 21627 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4065306 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664930784128 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21642] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4065310 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664929732432 139665604876187 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21643] ppid=21627 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21643/stat : 21643 (java) S 21627 21627 7411 0 -1 1077944384 1532 0 0 0 35 0 0 0 20 0 20 0 4065310 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664928680816 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21644] ppid=21627 vsize=13267208 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21644/stat : 21644 (java) S 21627 21627 7411 0 -1 1077944384 1277 0 0 0 46 0 0 0 20 0 20 0 4065310 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664927628016 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21645] ppid=21627 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21645/stat : 21645 (java) S 21627 21627 7411 0 -1 1077944384 1047 0 0 0 36 0 0 0 20 0 20 0 4065310 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664926575216 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21646] ppid=21627 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21646/stat : 21646 (java) S 21627 21627 7411 0 -1 1077944384 1348 0 0 0 29 0 0 0 20 0 20 0 4065310 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664925522416 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21647] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21647/stat : 21647 (java) S 21627 21627 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4065311 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664924469856 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21648] ppid=21627 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21648/stat : 21648 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4065311 13585620992 210324 33554432000 4194304 4196468 140736769179456 139664923417136 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13276720
[startup+6.30099 s]
/proc/loadavg: 10.37 12.51 13.19 17/291 21648
/proc/meminfo: memFree=25319740/32770624 swapFree=5860/276008
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=13269256 CPUtime=12.21 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) S 21627 21627 7411 0 -1 1077944320 23343 0 0 0 942 279 0 0 20 0 20 0 4065302 13587718144 382077 33554432000 4194304 4196468 140736769179456 140736769162000 139665604857591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
/proc/21628/statm: 3317314 382077 3230 1 0 3304547 0
[pid=21628/tid=21629] ppid=21627 vsize=13269256 CPUtime=5.68 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21629/stat : 21629 (java) R 21627 21627 7411 0 -1 4202560 9477 0 0 0 549 19 0 0 20 0 20 0 4065302 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665609095544 139665242528903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21631] ppid=21627 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21631/stat : 21631 (java) S 21627 21627 7411 0 -1 1077944384 702 0 0 0 21 32 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665561410192 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21632] ppid=21627 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21632/stat : 21632 (java) S 21627 21627 7411 0 -1 1077944384 567 0 0 0 23 30 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665560357392 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21633] ppid=21627 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21633/stat : 21633 (java) S 21627 21627 7411 0 -1 1077944384 249 0 0 0 24 29 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665201625488 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21634] ppid=21627 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21634/stat : 21634 (java) S 21627 21627 7411 0 -1 1077944384 341 0 0 0 22 32 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665200572688 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21635] ppid=21627 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21635/stat : 21635 (java) S 21627 21627 7411 0 -1 1077944384 251 0 0 0 24 28 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665199520912 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21636] ppid=21627 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21636/stat : 21636 (java) S 21627 21627 7411 0 -1 1077944384 314 0 0 0 22 32 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665198468112 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21637] ppid=21627 vsize=13269256 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21637/stat : 21637 (java) S 21627 21627 7411 0 -1 1077944384 312 0 0 0 23 33 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665197415312 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21638] ppid=21627 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21638/stat : 21638 (java) S 21627 21627 7411 0 -1 1077944384 317 0 0 0 20 34 0 0 20 0 20 0 4065303 13587718144 382077 33554432000 4194304 4196468 140736769179456 139665196362512 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21639] ppid=21627 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21639/stat : 21639 (java) S 21627 21627 7411 0 -1 1077944384 925 0 0 0 0 0 0 0 20 0 20 0 4065305 13587718144 382077 33554432000 4194304 4196468 140736769179456 139664932890992 139665604868738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21640] ppid=21627 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21640/stat : 21640 (java) S 21627 21627 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4065306 13587718144 382077 33554432000 4194304 4196468 140736769179456 139664931837024 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21641] ppid=21627 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21641/stat : 21641 (java) S 21627 21627 7411 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4065306 13587718144 382077 33554432000 4194304 4196468 140736769179456 139664930784128 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21642] ppid=21627 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4065310 13587718144 382077 33554432000 4194304 4196468 140736769179456 139664929732432 139665604876187 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
################
# More data... #
################
/proc/21628/task/21647/stat : 21647 (java) S 21627 21627 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664924469856 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21648] ppid=21627 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21648/stat : 21648 (java) S 21627 21627 7411 0 -1 1077944384 1157 0 0 0 1 4 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664923417136 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21743] ppid=21627 vsize=13801768 CPUtime=70.77 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21743/stat : 21743 (java) R 21627 21627 7411 0 -1 4202560 2501 0 0 0 7077 0 0 0 20 0 28 0 4069661 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664915401528 139665242451086 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21744] ppid=21627 vsize=13801768 CPUtime=71.13 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21744/stat : 21744 (java) R 21627 21627 7411 0 -1 4202560 1173 0 0 0 7113 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664914349976 139665245280731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21745] ppid=21627 vsize=13801768 CPUtime=70.87 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21745/stat : 21745 (java) R 21627 21627 7411 0 -1 4202560 1942 0 0 0 7087 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664913298312 139665245278773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21746] ppid=21627 vsize=13801768 CPUtime=70.24 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21746/stat : 21746 (java) R 21627 21627 7411 0 -1 4202560 1383 0 0 0 7024 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664912245816 139665242450608 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21747] ppid=21627 vsize=13801768 CPUtime=70.69 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21747/stat : 21747 (java) R 21627 21627 7411 0 -1 4202560 2259 0 0 0 7069 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664911192600 139665245281828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21748] ppid=21627 vsize=13801768 CPUtime=71.07 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21748/stat : 21748 (java) R 21627 21627 7411 0 -1 4202560 794 0 0 0 7107 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664910139696 139665245280630 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21749] ppid=21627 vsize=13801768 CPUtime=69.68 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21749/stat : 21749 (java) R 21627 21627 7411 0 -1 4202560 998 0 0 0 6968 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664909087096 139665245278869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21750] ppid=21627 vsize=13801768 CPUtime=71.06 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21750/stat : 21750 (java) R 21627 21627 7411 0 -1 4202560 1459 0 0 0 7106 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664908034216 139665245280649 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
Current children cumulated CPU time (s) 661.92
Current children cumulated vsize (KiB) 13811280
[startup+116.002 s]
/proc/loadavg: 14.27 13.01 13.28 17/299 21863
/proc/meminfo: memFree=26502176/32770624 swapFree=5860/276156
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=13801768 CPUtime=668.29 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) S 21627 21627 7411 0 -1 1077944320 101312 0 0 0 65828 1001 0 0 20 0 28 0 4065302 14133010432 1269290 33554432000 4194304 4196468 140736769179456 140736769162000 139665604857591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
/proc/21628/statm: 3450442 1269290 3278 1 0 3437675 0
[pid=21628/tid=21629] ppid=21627 vsize=13801768 CPUtime=34.97 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21629/stat : 21629 (java) S 21627 21627 7411 0 -1 1077944384 17416 0 0 0 3449 48 0 0 20 0 28 0 4065302 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665609098368 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21631] ppid=21627 vsize=13801768 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21631/stat : 21631 (java) S 21627 21627 7411 0 -1 1077944384 4193 0 0 0 534 123 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665561410192 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21632] ppid=21627 vsize=13801768 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21632/stat : 21632 (java) S 21627 21627 7411 0 -1 1077944384 4855 0 0 0 547 111 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665560357392 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21633] ppid=21627 vsize=13801768 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21633/stat : 21633 (java) S 21627 21627 7411 0 -1 1077944384 2913 0 0 0 542 112 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665201625488 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21634] ppid=21627 vsize=13801768 CPUtime=6.61 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21634/stat : 21634 (java) S 21627 21627 7411 0 -1 1077944384 3749 0 0 0 540 121 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665200572688 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21635] ppid=21627 vsize=13801768 CPUtime=6.51 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21635/stat : 21635 (java) S 21627 21627 7411 0 -1 1077944384 3556 0 0 0 533 118 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665199520912 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21636] ppid=21627 vsize=13801768 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21636/stat : 21636 (java) S 21627 21627 7411 0 -1 1077944384 2842 0 0 0 532 127 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665198468112 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21637] ppid=21627 vsize=13801768 CPUtime=6.52 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21637/stat : 21637 (java) S 21627 21627 7411 0 -1 1077944384 3246 0 0 0 545 107 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665197415312 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21638] ppid=21627 vsize=13801768 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21638/stat : 21638 (java) S 21627 21627 7411 0 -1 1077944384 3222 0 0 0 549 110 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665196362512 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21639] ppid=21627 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21639/stat : 21639 (java) S 21627 21627 7411 0 -1 1077944384 5821 0 0 0 189 2 0 0 20 0 28 0 4065305 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664932890992 139665604868738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21640] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21640/stat : 21640 (java) S 21627 21627 7411 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4065306 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664931837024 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21641] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21641/stat : 21641 (java) S 21627 21627 7411 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4065306 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664930784128 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21642] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664929732432 139665604876187 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21643] ppid=21627 vsize=13801768 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21643/stat : 21643 (java) S 21627 21627 7411 0 -1 1077944384 12182 0 0 0 225 3 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664928680816 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21644] ppid=21627 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21644/stat : 21644 (java) S 21627 21627 7411 0 -1 1077944384 6834 0 0 0 170 2 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664927628016 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21645] ppid=21627 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21645/stat : 21645 (java) S 21627 21627 7411 0 -1 1077944384 8059 0 0 0 192 1 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664926575216 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21646] ppid=21627 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21646/stat : 21646 (java) S 21627 21627 7411 0 -1 1077944384 7364 0 0 0 79 2 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664925522416 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21647] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21647/stat : 21647 (java) S 21627 21627 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664924469856 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21648] ppid=21627 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21648/stat : 21648 (java) S 21627 21627 7411 0 -1 1077944384 1159 0 0 0 1 4 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664923417136 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21743] ppid=21627 vsize=13801768 CPUtime=71.57 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21743/stat : 21743 (java) R 21627 21627 7411 0 -1 4202560 2502 0 0 0 7157 0 0 0 20 0 28 0 4069661 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664915401528 139665245278869 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21744] ppid=21627 vsize=13801768 CPUtime=71.93 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21744/stat : 21744 (java) R 21627 21627 7411 0 -1 4202560 1175 0 0 0 7193 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664914349976 139665245308223 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21745] ppid=21627 vsize=13801768 CPUtime=71.67 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21745/stat : 21745 (java) R 21627 21627 7411 0 -1 4202560 1948 0 0 0 7167 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664913298312 139665245280691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21746] ppid=21627 vsize=13801768 CPUtime=71.01 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21746/stat : 21746 (java) R 21627 21627 7411 0 -1 4202560 1390 0 0 0 7101 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664912245816 139665245282177 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21747] ppid=21627 vsize=13801768 CPUtime=71.49 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21747/stat : 21747 (java) R 21627 21627 7411 0 -1 4202560 2262 0 0 0 7149 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664911192600 139665242451086 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21748] ppid=21627 vsize=13801768 CPUtime=71.87 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21748/stat : 21748 (java) R 21627 21627 7411 0 -1 4202560 794 0 0 0 7187 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664910139696 139665245280686 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21749] ppid=21627 vsize=13801768 CPUtime=70.48 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21749/stat : 21749 (java) R 21627 21627 7411 0 -1 4202560 998 0 0 0 7048 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664909087096 139665245308203 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21750] ppid=21627 vsize=13801768 CPUtime=71.86 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21750/stat : 21750 (java) R 21627 21627 7411 0 -1 4202560 1461 0 0 0 7186 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664908034216 139665245279598 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
Current children cumulated CPU time (s) 668.29
Current children cumulated vsize (KiB) 13811280
[startup+116.202 s]
/proc/loadavg: 14.27 13.01 13.28 17/299 21863
/proc/meminfo: memFree=26502176/32770624 swapFree=5860/276156
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=13801768 CPUtime=669.89 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) S 21627 21627 7411 0 -1 1077944320 101331 0 0 0 65988 1001 0 0 20 0 28 0 4065302 14133010432 1269290 33554432000 4194304 4196468 140736769179456 140736769162000 139665604857591 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
/proc/21628/statm: 3450442 1269290 3278 1 0 3437675 0
[pid=21628/tid=21629] ppid=21627 vsize=13801768 CPUtime=34.97 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21629/stat : 21629 (java) S 21627 21627 7411 0 -1 1077944384 17416 0 0 0 3449 48 0 0 20 0 28 0 4065302 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665609098368 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21631] ppid=21627 vsize=13801768 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21631/stat : 21631 (java) S 21627 21627 7411 0 -1 1077944384 4193 0 0 0 534 123 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665561410192 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21632] ppid=21627 vsize=13801768 CPUtime=6.58 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21632/stat : 21632 (java) S 21627 21627 7411 0 -1 1077944384 4855 0 0 0 547 111 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665560357392 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21633] ppid=21627 vsize=13801768 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21633/stat : 21633 (java) S 21627 21627 7411 0 -1 1077944384 2913 0 0 0 542 112 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665201625488 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21634] ppid=21627 vsize=13801768 CPUtime=6.61 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21634/stat : 21634 (java) S 21627 21627 7411 0 -1 1077944384 3749 0 0 0 540 121 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665200572688 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21635] ppid=21627 vsize=13801768 CPUtime=6.51 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21635/stat : 21635 (java) S 21627 21627 7411 0 -1 1077944384 3556 0 0 0 533 118 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665199520912 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21636] ppid=21627 vsize=13801768 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21636/stat : 21636 (java) S 21627 21627 7411 0 -1 1077944384 2842 0 0 0 532 127 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665198468112 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21637] ppid=21627 vsize=13801768 CPUtime=6.52 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21637/stat : 21637 (java) S 21627 21627 7411 0 -1 1077944384 3246 0 0 0 545 107 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665197415312 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21638] ppid=21627 vsize=13801768 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21638/stat : 21638 (java) S 21627 21627 7411 0 -1 1077944384 3222 0 0 0 549 110 0 0 20 0 28 0 4065303 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139665196362512 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21639] ppid=21627 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21639/stat : 21639 (java) S 21627 21627 7411 0 -1 1077944384 5821 0 0 0 189 2 0 0 20 0 28 0 4065305 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664932890992 139665604868738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21640] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21640/stat : 21640 (java) S 21627 21627 7411 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4065306 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664931837024 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21641] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21641/stat : 21641 (java) S 21627 21627 7411 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 4065306 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664930784128 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21642] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) S 21627 21627 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664929732432 139665604876187 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21643] ppid=21627 vsize=13801768 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21643/stat : 21643 (java) S 21627 21627 7411 0 -1 1077944384 12189 0 0 0 225 3 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664928680816 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21644] ppid=21627 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21644/stat : 21644 (java) S 21627 21627 7411 0 -1 1077944384 6837 0 0 0 170 2 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664927628016 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21645] ppid=21627 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21645/stat : 21645 (java) S 21627 21627 7411 0 -1 1077944384 8062 0 0 0 192 1 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664926575216 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21646] ppid=21627 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21646/stat : 21646 (java) S 21627 21627 7411 0 -1 1077944384 7368 0 0 0 79 2 0 0 20 0 28 0 4065310 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664925522416 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21647] ppid=21627 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21647/stat : 21647 (java) S 21627 21627 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664924469856 139665604867797 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21648] ppid=21627 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21648/stat : 21648 (java) S 21627 21627 7411 0 -1 1077944384 1159 0 0 0 1 5 0 0 20 0 28 0 4065311 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664923417136 139665604868738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21743] ppid=21627 vsize=13801768 CPUtime=71.77 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21743/stat : 21743 (java) R 21627 21627 7411 0 -1 4202560 2502 0 0 0 7177 0 0 0 20 0 28 0 4069661 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664915401528 139665245278809 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21744] ppid=21627 vsize=13801768 CPUtime=72.13 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21744/stat : 21744 (java) R 21627 21627 7411 0 -1 4202560 1175 0 0 0 7213 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664914349976 139665242451086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21745] ppid=21627 vsize=13801768 CPUtime=71.87 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21745/stat : 21745 (java) R 21627 21627 7411 0 -1 4202560 1948 0 0 0 7187 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664913298312 139665242451086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21746] ppid=21627 vsize=13801768 CPUtime=71.21 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21746/stat : 21746 (java) R 21627 21627 7411 0 -1 4202560 1392 0 0 0 7121 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664912245816 139665245280691 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21747] ppid=21627 vsize=13801768 CPUtime=71.69 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21747/stat : 21747 (java) R 21627 21627 7411 0 -1 4202560 2262 0 0 0 7169 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664911192600 139665246329857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21748] ppid=21627 vsize=13801768 CPUtime=72.06 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21748/stat : 21748 (java) R 21627 21627 7411 0 -1 4202560 794 0 0 0 7206 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664910139696 139665245280686 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21749] ppid=21627 vsize=13801768 CPUtime=70.68 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21749/stat : 21749 (java) R 21627 21627 7411 0 -1 4202560 998 0 0 0 7068 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664909087096 139665241788425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
[pid=21628/tid=21750] ppid=21627 vsize=13801768 CPUtime=72.06 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21750/stat : 21750 (java) R 21627 21627 7411 0 -1 4202560 1461 0 0 0 7206 0 0 0 20 0 28 0 4069662 14133010432 1269290 33554432000 4194304 4196468 140736769179456 139664908034216 139665245282177 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23576576 140736769184956 140736769185132 140736769185132 140736769187791 0
Current children cumulated CPU time (s) 669.89
Current children cumulated vsize (KiB) 13811280
[startup+116.318 s]
/proc/loadavg: 14.27 13.01 13.28 17/299 21863
/proc/meminfo: memFree=26502176/32770624 swapFree=5860/276156
[pid=21627] ppid=21624 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21627/stat : 21627 (xcsp3-exec) S 21624 21627 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4065301 9740288 346 33554432000 4194304 5098028 140733457208400 140733457206504 140033013486204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15917056 140733457212559 140733457212768 140733457212768 140733457215467 0
/proc/21627/statm: 2378 346 289 221 0 87 0
[pid=21628] ppid=21627 vsize=0 CPUtime=670.65 cores=1,3,5,7,9,11,13,15
/proc/21628/stat : 21628 (java) Z 21627 21627 7411 0 -1 4227084 103789 0 0 0 66062 1003 0 0 20 0 2 0 4065302 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/21628/statm: 0 0 0 0 0 0 0
[pid=21628/tid=21642] ppid=21627 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21628/task/21642/stat : 21642 (java) R 21627 21627 7411 0 -1 4203588 24 0 0 0 0 0 0 0 20 0 2 0 4065310 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 670.65
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 116.323
CPU time (s): 670.666
CPU user time (s): 660.626
CPU system time (s): 10.04
CPU usage (%): 576.556
Max. virtual memory (cumulated for all children) (KiB): 13813084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 660.626
system time used= 10.04
maximum resident set size= 5085500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8830
involuntary context switches= 52230
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32741 second user time and 1.55108 second system time
The end