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-4247301-1500689967/watcher-4247301-1500689967 -o /tmp/evaluation-result-4247301-1500689967/solver-4247301-1500689967 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1198724575 HOME/instance-4247301-1500689967.xml
pid=31782
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: 15.50 15.74 15.15 9/270 31785
/proc/meminfo: memFree=28121288/32770624 swapFree=5808/113564
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[startup+0.100076 s]
/proc/loadavg: 15.50 15.74 15.15 9/270 31785
/proc/meminfo: memFree=28121288/32770624 swapFree=5808/113564
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200386 s]
/proc/loadavg: 15.50 15.74 15.15 9/270 31785
/proc/meminfo: memFree=28121288/32770624 swapFree=5808/113564
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30031 s]
/proc/loadavg: 15.50 15.74 15.15 9/270 31785
/proc/meminfo: memFree=28121288/32770624 swapFree=5808/113564
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700241 s]
/proc/loadavg: 15.50 15.74 15.15 9/270 31785
/proc/meminfo: memFree=28121288/32770624 swapFree=5808/113564
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50101 s]
/proc/loadavg: 15.50 15.74 15.15 17/291 31806
/proc/meminfo: memFree=27827220/32770624 swapFree=5808/113388
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13267132 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 13303 0 0 0 426 166 0 0 20 0 20 0 4261967 13585543168 117581 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3316783 117581 3183 1 0 3304035 0
[pid=31786/tid=31787] ppid=31785 vsize=13267132 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) S 31785 31785 15196 0 -1 1077944384 6162 0 0 0 89 4 0 0 20 0 20 0 4261967 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783818309104 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13267132 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) R 31785 31785 15196 0 -1 4202560 168 0 0 0 32 20 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783746206504 139783806698215 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13267132 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) R 31785 31785 15196 0 -1 4202560 228 0 0 0 33 20 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783745153704 139783806698215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13267132 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) R 31785 31785 15196 0 -1 4202560 151 0 0 0 32 19 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783744101720 139783798523993 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13267132 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) R 31785 31785 15196 0 -1 4202560 142 0 0 0 32 21 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783743048616 139783806698215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13267132 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) R 31785 31785 15196 0 -1 4202560 191 0 0 0 31 19 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783741995304 139783797453040 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13267132 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) R 31785 31785 15196 0 -1 4202560 267 0 0 0 32 20 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783740942504 139783806698215 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13267132 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) R 31785 31785 15196 0 -1 4202560 185 0 0 0 32 20 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783739890216 139783806698215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13267132 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) R 31785 31785 15196 0 -1 4202560 220 0 0 0 34 18 0 0 20 0 20 0 4261968 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783738837416 139783806698215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 4261971 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783276282848 139783814080213 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4261971 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783275230496 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4261972 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783274178160 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31801] ppid=31785 vsize=13267132 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31801/stat : 31801 (java) S 31785 31785 15196 0 -1 1077944384 1387 0 0 0 15 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783272073328 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31802] ppid=31785 vsize=13267132 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31802/stat : 31802 (java) S 31785 31785 15196 0 -1 1077944384 1006 0 0 0 22 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783271020528 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31803] ppid=31785 vsize=13267132 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) S 31785 31785 15196 0 -1 1077944384 626 0 0 0 16 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783269968240 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31804] ppid=31785 vsize=13267132 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31804/stat : 31804 (java) S 31785 31785 15196 0 -1 1077944384 1186 0 0 0 20 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783268915440 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31805] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31805/stat : 31805 (java) S 31785 31785 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783066086240 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31806] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 117581 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13276644
[startup+3.10118 s]
/proc/loadavg: 15.50 15.74 15.15 10/291 31806
/proc/meminfo: memFree=27558748/32770624 swapFree=5808/113388
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13267132 CPUtime=14.58 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 16339 0 0 0 1126 332 0 0 20 0 20 0 4261967 13585543168 220590 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3316783 220590 3195 1 0 3304035 0
[pid=31786/tid=31787] ppid=31785 vsize=13267132 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) R 31785 31785 15196 0 -1 4202560 6502 0 0 0 142 7 0 0 20 0 20 0 4261967 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783818301728 139783814091933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13267132 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) S 31785 31785 15196 0 -1 1077944384 345 0 0 0 112 41 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783746206608 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13267132 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) S 31785 31785 15196 0 -1 1077944384 432 0 0 0 114 40 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783745153808 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13267132 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) S 31785 31785 15196 0 -1 1077944384 325 0 0 0 112 40 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783744101520 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13267132 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) S 31785 31785 15196 0 -1 1077944384 446 0 0 0 113 41 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783743048720 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13267132 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) S 31785 31785 15196 0 -1 1077944384 467 0 0 0 111 39 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783741995408 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13267132 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) S 31785 31785 15196 0 -1 1077944384 503 0 0 0 113 40 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783740942608 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13267132 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) S 31785 31785 15196 0 -1 1077944384 417 0 0 0 113 41 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783739890320 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13267132 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) S 31785 31785 15196 0 -1 1077944384 393 0 0 0 114 38 0 0 20 0 20 0 4261968 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783738837520 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13267132 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 1002 0 0 0 1 0 0 0 20 0 20 0 4261971 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783276284528 139783814081154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4261971 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783275230496 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4261972 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783274178160 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31801] ppid=31785 vsize=13267132 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31801/stat : 31801 (java) S 31785 31785 15196 0 -1 1077944384 1387 0 0 0 16 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783272073328 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31802] ppid=31785 vsize=13267132 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31802/stat : 31802 (java) S 31785 31785 15196 0 -1 1077944384 1006 0 0 0 22 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783271020528 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31803] ppid=31785 vsize=13267132 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) S 31785 31785 15196 0 -1 1077944384 630 0 0 0 17 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783269968240 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31804] ppid=31785 vsize=13267132 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31804/stat : 31804 (java) S 31785 31785 15196 0 -1 1077944384 1186 0 0 0 20 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783268915440 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31805] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31805/stat : 31805 (java) S 31785 31785 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783066086240 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31806] ppid=31785 vsize=13267132 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13585543168 220590 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 14.58
Current children cumulated vsize (KiB) 13276644
[startup+6.30112 s]
/proc/loadavg: 15.70 15.78 15.17 10/291 31806
/proc/meminfo: memFree=26592988/32770624 swapFree=5808/113400
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13267208 CPUtime=24.37 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 30385 0 0 0 1818 619 0 0 20 0 20 0 4261967 13585620992 451454 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3316802 451454 3247 1 0 3304035 0
[pid=31786/tid=31787] ppid=31785 vsize=13267208 CPUtime=3.93 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) R 31785 31785 15196 0 -1 4202560 7903 0 0 0 380 13 0 0 20 0 20 0 4261967 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783818307616 139783422261663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13267208 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) S 31785 31785 15196 0 -1 1077944384 1146 0 0 0 151 76 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783746206608 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13267208 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) S 31785 31785 15196 0 -1 1077944384 950 0 0 0 150 75 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783745153808 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13267208 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) S 31785 31785 15196 0 -1 1077944384 661 0 0 0 152 73 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783744101520 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13267208 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) S 31785 31785 15196 0 -1 1077944384 767 0 0 0 149 75 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783743048720 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13267208 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) S 31785 31785 15196 0 -1 1077944384 1272 0 0 0 149 73 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783741995408 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13267208 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) S 31785 31785 15196 0 -1 1077944384 995 0 0 0 151 75 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783740942608 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13267208 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) S 31785 31785 15196 0 -1 1077944384 897 0 0 0 148 74 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783739890320 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13267208 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) S 31785 31785 15196 0 -1 1077944384 1066 0 0 0 146 74 0 0 20 0 20 0 4261968 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783738837520 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13267208 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 1738 0 0 0 2 0 0 0 20 0 20 0 4261971 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783276284528 139783814081154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4261971 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783275230560 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4261972 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783274178160 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13585620992 451454 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
################
# More data... #
################
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 559 0 0 0 6 7 0 0 20 0 20 0 4261976 13587718144 2674076 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 440.17
Current children cumulated vsize (KiB) 13278768
[startup+219.301 s]
/proc/loadavg: 10.00 12.55 13.98 17/291 32508
/proc/meminfo: memFree=20473144/32770624 swapFree=5808/113844
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13269256 CPUtime=450.96 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 1222974 0 0 0 41084 4012 0 0 20 0 20 0 4261967 13587718144 2674088 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3317314 2674088 3259 1 0 3304547 0
[pid=31786/tid=31787] ppid=31785 vsize=13269256 CPUtime=181.11 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) S 31785 31785 15196 0 -1 1077944384 15784 0 0 0 18096 15 0 0 20 0 20 0 4261967 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783818308144 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13269256 CPUtime=32.59 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) R 31785 31785 15196 0 -1 4202560 79610 0 0 0 2787 472 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783746206808 139783799055303 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13269256 CPUtime=32.68 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) R 31785 31785 15196 0 -1 4202560 73354 0 0 0 2748 520 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783745154008 139783799020601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13269256 CPUtime=32.63 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) R 31785 31785 15196 0 -1 4202560 62140 0 0 0 2778 485 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783744101720 139783799020612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13269256 CPUtime=32.7 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) R 31785 31785 15196 0 -1 4202560 408354 0 0 0 2754 516 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783743048608 139783798767669 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13269256 CPUtime=32.55 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) R 31785 31785 15196 0 -1 4202560 335778 0 0 0 2760 495 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783741995608 139783799020612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13269256 CPUtime=32.74 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) R 31785 31785 15196 0 -1 4202560 57014 0 0 0 2776 498 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783740942808 139783799055303 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13269256 CPUtime=32.6 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) R 31785 31785 15196 0 -1 4202560 65655 0 0 0 2769 491 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783739890520 139783795666448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13269256 CPUtime=32.62 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) R 31785 31785 15196 0 -1 4202560 78010 0 0 0 2765 497 0 0 20 0 20 0 4261968 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783738837720 139783798767759 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13269256 CPUtime=4.82 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 24399 0 0 0 479 3 0 0 20 0 20 0 4261971 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783276282848 139783814080213 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4261971 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783275230096 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 4261972 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783274178176 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31801] ppid=31785 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31801/stat : 31801 (java) S 31785 31785 15196 0 -1 1077944384 5709 0 0 0 102 1 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783272073328 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31802] ppid=31785 vsize=13269256 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31802/stat : 31802 (java) S 31785 31785 15196 0 -1 1077944384 5484 0 0 0 108 2 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783271020528 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31803] ppid=31785 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) S 31785 31785 15196 0 -1 1077944384 4967 0 0 0 104 3 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783269968240 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31804] ppid=31785 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31804/stat : 31804 (java) S 31785 31785 15196 0 -1 1077944384 4802 0 0 0 45 0 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783268915440 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31805] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31805/stat : 31805 (java) S 31785 31785 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783066086240 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31806] ppid=31785 vsize=13269256 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 559 0 0 0 6 7 0 0 20 0 20 0 4261976 13587718144 2674088 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 450.96
Current children cumulated vsize (KiB) 13278768
[startup+220.901 s]
/proc/loadavg: 10.00 12.55 13.98 17/291 32508
/proc/meminfo: memFree=20473020/32770624 swapFree=5808/113844
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13269256 CPUtime=463.07 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 1223558 0 0 0 42295 4012 0 0 20 0 20 0 4261967 13587718144 2674112 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3317314 2674112 3259 1 0 3304547 0
[pid=31786/tid=31787] ppid=31785 vsize=13269256 CPUtime=181.11 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) S 31785 31785 15196 0 -1 1077944384 15784 0 0 0 18096 15 0 0 20 0 20 0 4261967 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783818308144 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13269256 CPUtime=34.07 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) R 31785 31785 15196 0 -1 4202560 79956 0 0 0 2935 472 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783746206496 139783794096529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13269256 CPUtime=34.19 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) R 31785 31785 15196 0 -1 4202560 73361 0 0 0 2899 520 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783745154008 139783799021232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13269256 CPUtime=34.13 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) R 31785 31785 15196 0 -1 4202560 62141 0 0 0 2928 485 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783744101720 139783794096502 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13269256 CPUtime=34.21 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) R 31785 31785 15196 0 -1 4202560 408357 0 0 0 2905 516 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783743048920 139783798767646 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13269256 CPUtime=34.06 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) R 31785 31785 15196 0 -1 4202560 335778 0 0 0 2911 495 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783741995608 139783799828320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13269256 CPUtime=34.25 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) R 31785 31785 15196 0 -1 4202560 57065 0 0 0 2927 498 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783740942808 139783799020612 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13269256 CPUtime=34.1 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) R 31785 31785 15196 0 -1 4202560 65759 0 0 0 2919 491 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783739890520 139783798767646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13269256 CPUtime=34.13 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) R 31785 31785 15196 0 -1 4202560 78082 0 0 0 2916 497 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783738837408 139783799828380 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13269256 CPUtime=4.91 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 24399 0 0 0 488 3 0 0 20 0 20 0 4261971 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783276282864 139783814080213 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4261971 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783275230096 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 4261972 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783274178176 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31801] ppid=31785 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31801/stat : 31801 (java) S 31785 31785 15196 0 -1 1077944384 5709 0 0 0 102 1 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783272073328 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31802] ppid=31785 vsize=13269256 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31802/stat : 31802 (java) S 31785 31785 15196 0 -1 1077944384 5484 0 0 0 108 2 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783271020528 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31803] ppid=31785 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) S 31785 31785 15196 0 -1 1077944384 4967 0 0 0 104 3 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783269968240 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31804] ppid=31785 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31804/stat : 31804 (java) S 31785 31785 15196 0 -1 1077944384 4802 0 0 0 45 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783268915440 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31805] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31805/stat : 31805 (java) S 31785 31785 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783066086240 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31806] ppid=31785 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 559 0 0 0 6 8 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 463.07
Current children cumulated vsize (KiB) 13278768
[startup+221.314 s]
/proc/loadavg: 10.00 12.55 13.98 17/291 32508
/proc/meminfo: memFree=20473020/32770624 swapFree=5808/113844
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=13269256 CPUtime=466.3 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) S 31785 31785 15196 0 -1 1077944320 1223568 0 0 0 42617 4013 0 0 20 0 20 0 4261967 13587718144 2674112 33554432000 4194304 4196468 140720549452096 140720549434640 139783814070007 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
/proc/31786/statm: 3317314 2674112 3259 1 0 3304547 0
[pid=31786/tid=31787] ppid=31785 vsize=13269256 CPUtime=181.11 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31787/stat : 31787 (java) S 31785 31785 15196 0 -1 1077944384 15784 0 0 0 18096 15 0 0 20 0 20 0 4261967 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783818308144 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31789] ppid=31785 vsize=13269256 CPUtime=34.47 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31789/stat : 31789 (java) R 31785 31785 15196 0 -1 4202560 79956 0 0 0 2975 472 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783746206496 139783795679839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31790] ppid=31785 vsize=13269256 CPUtime=34.59 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31790/stat : 31790 (java) R 31785 31785 15196 0 -1 4202560 73361 0 0 0 2939 520 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783745154008 139783798527598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31791] ppid=31785 vsize=13269256 CPUtime=34.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31791/stat : 31791 (java) R 31785 31785 15196 0 -1 4202560 62141 0 0 0 2967 486 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783744101640 139783806698215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31792] ppid=31785 vsize=13269256 CPUtime=34.61 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31792/stat : 31792 (java) R 31785 31785 15196 0 -1 4202560 408357 0 0 0 2945 516 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783743048920 139783798527407 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31793] ppid=31785 vsize=13269256 CPUtime=34.45 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31793/stat : 31793 (java) R 31785 31785 15196 0 -1 4202560 335788 0 0 0 2950 495 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783741995608 139783798768718 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31794] ppid=31785 vsize=13269256 CPUtime=34.65 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31794/stat : 31794 (java) R 31785 31785 15196 0 -1 4202560 57065 0 0 0 2967 498 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783740942808 139783799066686 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31795] ppid=31785 vsize=13269256 CPUtime=34.51 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31795/stat : 31795 (java) R 31785 31785 15196 0 -1 4202560 65759 0 0 0 2960 491 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783739890520 139783798527459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31796] ppid=31785 vsize=13269256 CPUtime=34.53 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31796/stat : 31796 (java) R 31785 31785 15196 0 -1 4202560 78082 0 0 0 2956 497 0 0 20 0 20 0 4261968 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783738837720 139783798527644 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31797] ppid=31785 vsize=13269256 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31797/stat : 31797 (java) S 31785 31785 15196 0 -1 1077944384 24399 0 0 0 489 3 0 0 20 0 20 0 4261971 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783276283088 139783814080213 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31798] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31798/stat : 31798 (java) S 31785 31785 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4261971 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783275230096 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31799] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31799/stat : 31799 (java) S 31785 31785 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 4261972 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783274178176 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31800] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31800/stat : 31800 (java) S 31785 31785 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783273126480 139783814088603 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31801] ppid=31785 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31801/stat : 31801 (java) S 31785 31785 15196 0 -1 1077944384 5709 0 0 0 102 1 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783272073328 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31802] ppid=31785 vsize=13269256 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31802/stat : 31802 (java) S 31785 31785 15196 0 -1 1077944384 5484 0 0 0 108 2 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783271020528 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31803] ppid=31785 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) S 31785 31785 15196 0 -1 1077944384 4967 0 0 0 104 3 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783269968240 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31804] ppid=31785 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31804/stat : 31804 (java) S 31785 31785 15196 0 -1 1077944384 4802 0 0 0 45 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783268915440 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31805] ppid=31785 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31805/stat : 31805 (java) S 31785 31785 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783066086240 139783814080213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
[pid=31786/tid=31806] ppid=31785 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31806/stat : 31806 (java) S 31785 31785 15196 0 -1 1077944384 559 0 0 0 6 8 0 0 20 0 20 0 4261976 13587718144 2674112 33554432000 4194304 4196468 140720549452096 139783065033520 139783814081154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22241280 140720549459132 140720549459308 140720549459308 140720549461967 0
Current children cumulated CPU time (s) 466.3
Current children cumulated vsize (KiB) 13278768
[startup+221.501 s]
/proc/loadavg: 10.00 12.55 13.98 17/291 32508
/proc/meminfo: memFree=20473020/32770624 swapFree=5808/113844
[pid=31785] ppid=31782 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31785/stat : 31785 (xcsp3-exec) S 31782 31785 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4261967 9740288 346 33554432000 4194304 5098028 140720988215360 140720988213464 139948552647292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17338368 140720988222606 140720988222816 140720988222816 140720988225515 0
/proc/31785/statm: 2378 346 289 221 0 87 0
[pid=31786] ppid=31785 vsize=0 CPUtime=466.95 cores=1,3,5,7,9,11,13,15
/proc/31786/stat : 31786 (java) Z 31785 31785 15196 0 -1 4227084 1223788 0 0 0 42679 4016 0 0 20 0 2 0 4261967 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/31786/statm: 0 0 0 0 0 0 0
[pid=31786/tid=31803] ppid=31785 vsize=0 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31786/task/31803/stat : 31803 (java) R 31785 31785 15196 0 -1 4203588 5054 0 0 0 104 6 0 0 20 0 2 0 4261976 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 466.95
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 221.588
CPU time (s): 467.046
CPU user time (s): 426.794
CPU system time (s): 40.2517
CPU usage (%): 210.772
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 426.794
system time used= 40.2517
maximum resident set size= 10696700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1224316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41373
involuntary context switches= 33978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.3005 second user time and 3.12918 second system time
The end