0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404269-1569010878.xml" -tl '20160s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4404269-1569010878.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
8.91/3.13 c solve instance...
33.97/6.32 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7032 MiB free)
memory of node 1: 16384 MiB (8377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404269-1569010878/watcher-4404269-1569010878 -o /var/tmp/evaluation-result-4404269-1569010878/solver-4404269-1569010878 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1456960790 HOME/instance-4404269-1569010878.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13164, runsolver pid=13161
Current StackSize limit: 8192 KiB
[startup+0.100189 s]*
/proc/loadavg: 6.47 7.93 8.20 3/211 13185
/proc/meminfo: memFree=15762992/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28227396 memory=28932 CPUtime=0.12 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 477027938 28904853504 7233 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7056849 7233 3122 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11640 0 -1 4202560 3613 0 0 0 8 0 0 0 20 0 20 0 477027938 28904853504 7233 33554432000 4194304 4196468 140728118665728 140369117300528 140369094462458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28227396 memory=140350065682048 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13171] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140369062529552 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13172] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368659995536 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13173] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368658942736 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13174] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368657890448 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13175] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368656837648 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13176] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027940 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368229439600 140369113078402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13177] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027941 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368228385568 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13178] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027941 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368227333232 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13179] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11640 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11640 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368224176624 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11640 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 477027943 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368222071536 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027944 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027944 28904853504 7233 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30384 KiB
[startup+0.210739 s]*
/proc/loadavg: 6.47 7.93 8.20 2/211 13185
/proc/meminfo: memFree=15750924/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28227396 memory=40740 CPUtime=0.34 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 9404 0 0 0 31 3 0 0 20 0 20 0 477027938 28904853504 10185 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7056849 10185 3305 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11640 0 -1 4202560 6633 0 0 0 18 2 0 0 20 0 20 0 477027938 28904853504 10185 33554432000 4194304 4196468 140728118665728 140369117299984 140369113079190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28227396 memory=3834167298505254560 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13171] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140369062529552 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13172] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368659995536 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13173] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368658942736 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13174] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368657890448 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13175] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368656837648 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13176] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477027940 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368229439600 140369113078402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13177] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027941 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368228385568 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13178] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027941 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368227333232 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13179] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11640 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 477027943 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11640 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 477027943 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368224176624 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 477027943 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) R 13164 13164 11640 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 20 0 477027943 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368222071536 140369113079190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027944 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027944 28904853504 10185 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42192 KiB
[startup+0.310378 s]*
/proc/loadavg: 6.47 7.93 8.20 3/211 13185
/proc/meminfo: memFree=15742660/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28231652 memory=49604 CPUtime=0.52 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 10810 0 0 0 49 3 0 0 20 0 20 0 477027938 28909211648 12401 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7057913 12401 3356 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11640 0 -1 4202560 7741 0 0 0 27 2 0 0 20 0 20 0 477027938 28909211648 12401 33554432000 4194304 4196468 140728118665728 140369117298368 140369097147742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13171] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140369062529552 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13172] ppid=13164 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368659995536 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13173] ppid=13164 vsize=28231652 memory=140349934760879 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368658942736 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13174] ppid=13164 vsize=28231652 memory=140349934763184 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368657890448 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13175] ppid=13164 vsize=28231652 memory=140349934765488 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368656837648 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13176] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477027940 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368229439600 140369113078402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13177] ppid=13164 vsize=28231652 memory=280699869537936 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477027941 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368228385568 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13178] ppid=13164 vsize=28231652 memory=280699869544848 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477027941 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368227333232 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13179] ppid=13164 vsize=28231652 memory=280699869486128 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027943 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28231652 memory=280699869558672 CPUtime=0.02 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11640 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 20 0 477027943 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28231652 memory=280699869565584 CPUtime=0.03 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) R 13164 13164 11640 0 -1 4202560 325 0 0 0 3 0 0 0 20 0 20 0 477027943 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368224167008 140369096452048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28231652 memory=280699869563280 CPUtime=0.01 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 477027943 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28231652 memory=280699869579440 CPUtime=0.13 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11640 0 -1 1077944384 981 0 0 0 13 0 0 0 20 0 20 0 477027943 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368222071536 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027944 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027944 28909211648 12401 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51056 KiB
[startup+0.701061 s]
/proc/loadavg: 6.47 7.93 8.20 5/211 13185
/proc/meminfo: memFree=15705376/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28233776 memory=158572 CPUtime=1.82 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 14984 0 0 0 175 7 0 0 20 0 20 0 477027938 28911386624 39643 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7058444 39643 3454 1 0 7019544 0
[pid=13166/tid=13167] ppid=13164 vsize=28233776 memory=280699869937328 CPUtime=0.67 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11640 0 -1 4202560 8453 0 0 0 63 4 0 0 20 0 20 0 477027938 28911386624 39643 33554432000 4194304 4196468 140728118665728 140369117301600 140368745703172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28233776 memory=140349934969712 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027939 28911386624 39643 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477027939 28911386624 39643 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28233776 memory=1060 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027939 28911386624 39643 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
################
# More data... #
################
[pid=13166/tid=13179] ppid=13164 vsize=28233776 memory=220528 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477027943 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28233776 memory=1060 CPUtime=0.47 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11640 0 -1 1077944384 1351 0 0 0 47 0 0 0 20 0 20 0 477027943 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28233776 memory=2828 CPUtime=0.55 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11640 0 -1 1077944384 1187 0 0 0 55 0 0 0 20 0 20 0 477027943 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368224176624 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28233776 memory=1216 CPUtime=0.47 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 1307 0 0 0 47 0 0 0 20 0 20 0 477027943 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28233776 memory=984 CPUtime=0.43 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11640 0 -1 1077944384 2048 0 0 0 43 0 0 0 20 0 20 0 477027943 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368222071536 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28233776 memory=14004 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027944 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28233776 memory=30288 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477027944 28911386624 272448 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1091244 KiB
[startup+6.30216 s]
/proc/loadavg: 6.67 7.95 8.20 10/219 13193
/proc/meminfo: memFree=14694668/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28766288 memory=1097020 CPUtime=33.97 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 29406 0 0 0 3199 198 0 0 20 0 28 0 477027938 29456678912 274255 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7191572 274255 3536 1 0 7152672 0
[pid=13166/tid=13167] ppid=13164 vsize=28766288 memory=0 CPUtime=2.48 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) S 13164 13164 11640 0 -1 1077944384 9913 0 0 0 238 10 0 0 20 0 28 0 477027938 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369117308032 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 511 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28766288 memory=2241 CPUtime=0.54 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 558 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28766288 memory=56 CPUtime=0.54 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 446 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13171] ppid=13164 vsize=28766288 memory=1966187 CPUtime=0.54 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11640 0 -1 1077944384 445 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369062529552 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13172] ppid=13164 vsize=28766288 memory=1967578 CPUtime=0.54 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11640 0 -1 1077944384 461 0 0 0 32 22 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368659995536 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13173] ppid=13164 vsize=28766288 memory=1452 CPUtime=0.54 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11640 0 -1 1077944384 559 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368658942736 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13174] ppid=13164 vsize=28766288 memory=1096996 CPUtime=0.54 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11640 0 -1 1077944384 450 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368657890448 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13175] ppid=13164 vsize=28766288 memory=54 CPUtime=0.54 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11640 0 -1 1077944384 571 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368656837648 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13176] ppid=13164 vsize=28766288 memory=54 CPUtime=0.07 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11640 0 -1 1077944384 1225 0 0 0 7 0 0 0 20 0 28 0 477027940 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368229439600 140369113078402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13177] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477027941 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368228385632 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13178] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477027941 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368227333248 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13179] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28766288 memory=1436 CPUtime=0.97 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) R 13164 13164 11640 0 -1 1077944384 3316 0 0 0 95 2 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28766288 memory=580 CPUtime=0.98 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) R 13164 13164 11640 0 -1 4202560 3575 0 0 0 97 1 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368224176920 140369097991602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28766288 memory=1716 CPUtime=0.8 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 2365 0 0 0 79 1 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28766288 memory=10604 CPUtime=0.57 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11640 0 -1 1077944384 2441 0 0 0 57 0 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368222071536 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28766288 memory=3636 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477027944 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28766288 memory=776 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 477027944 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13186] ppid=13164 vsize=28766288 memory=1564 CPUtime=3.05 cores=0-7
/proc/13166/task/13186/stat : 13186 (java) R 13164 13164 11640 0 -1 4202560 125 0 0 0 305 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368210746328 140368747690796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13187] ppid=13164 vsize=28766288 memory=6088 CPUtime=2.93 cores=0-7
/proc/13166/task/13187/stat : 13187 (java) R 13164 13164 11640 0 -1 4202560 87 0 0 0 293 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368209694776 140368747508533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13188] ppid=13164 vsize=28766288 memory=1060 CPUtime=2.88 cores=0-7
/proc/13166/task/13188/stat : 13188 (java) R 13164 13164 11640 0 -1 4202560 259 0 0 0 288 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368208642440 140368747832825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13189] ppid=13164 vsize=28766288 memory=2828 CPUtime=2.89 cores=0-7
/proc/13166/task/13189/stat : 13189 (java) R 13164 13164 11640 0 -1 4202560 196 0 0 0 289 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368207589736 140368747832618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13190] ppid=13164 vsize=28766288 memory=3636 CPUtime=3.07 cores=0-7
/proc/13166/task/13190/stat : 13190 (java) R 13164 13164 11640 0 -1 4202560 95 0 0 0 307 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368206537352 140368747830650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13191] ppid=13164 vsize=28766288 memory=776 CPUtime=3.01 cores=0-7
/proc/13166/task/13191/stat : 13191 (java) R 13164 13164 11640 0 -1 4202560 113 0 0 0 301 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368205484616 140368747832767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13192] ppid=13164 vsize=28766288 memory=1564 CPUtime=2.86 cores=0-7
/proc/13166/task/13192/stat : 13192 (java) R 13164 13164 11640 0 -1 4202560 171 0 0 0 286 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368204430992 140368747832618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13193] ppid=13164 vsize=28766288 memory=6088 CPUtime=2.89 cores=0-7
/proc/13166/task/13193/stat : 13193 (java) R 13164 13164 11640 0 -1 4202560 132 0 0 0 289 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368203380152 140368747508538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 33.97 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1098472 KiB
[startup+6.34139 s]
# the end of solver process 13164 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.1437 s, system=2.00004 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.30216 s]
/proc/loadavg: 6.67 7.95 8.20 10/219 13193
/proc/meminfo: memFree=14694668/32770624 swapFree=66976740/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477027937 115843072 363 33554432000 4194304 5098028 140734207957120 140734207955224 140265700323964 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11845632 140734207959889 140734207960149 140734207960149 140734207963078 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28766288 memory=1097020 CPUtime=33.97 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11640 0 -1 1077944320 29406 0 0 0 3199 198 0 0 20 0 28 0 477027938 29456678912 274255 33554432000 4194304 4196468 140728118665728 140728118648272 140369113067255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
/proc/13166/statm: 7191572 274255 3536 1 0 7152672 0
[pid=13166/tid=13167] ppid=13164 vsize=28766288 memory=0 CPUtime=2.48 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) S 13164 13164 11640 0 -1 1077944384 9913 0 0 0 238 10 0 0 20 0 28 0 477027938 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369117308032 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13168] ppid=13164 vsize=28766288 memory=0 CPUtime=0.54 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11640 0 -1 1077944384 511 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369065687440 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13169] ppid=13164 vsize=28766288 memory=2241 CPUtime=0.54 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11640 0 -1 1077944384 558 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369064634640 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13170] ppid=13164 vsize=28766288 memory=56 CPUtime=0.54 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11640 0 -1 1077944384 446 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369063582352 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13171] ppid=13164 vsize=28766288 memory=1966187 CPUtime=0.54 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11640 0 -1 1077944384 445 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140369062529552 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13172] ppid=13164 vsize=28766288 memory=1967578 CPUtime=0.54 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11640 0 -1 1077944384 461 0 0 0 32 22 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368659995536 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13173] ppid=13164 vsize=28766288 memory=1452 CPUtime=0.54 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11640 0 -1 1077944384 559 0 0 0 31 23 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368658942736 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13174] ppid=13164 vsize=28766288 memory=1096996 CPUtime=0.54 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11640 0 -1 1077944384 450 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368657890448 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13175] ppid=13164 vsize=28766288 memory=54 CPUtime=0.54 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11640 0 -1 1077944384 571 0 0 0 33 21 0 0 20 0 28 0 477027939 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368656837648 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13176] ppid=13164 vsize=28766288 memory=54 CPUtime=0.07 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11640 0 -1 1077944384 1225 0 0 0 7 0 0 0 20 0 28 0 477027940 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368229439600 140369113078402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13177] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477027941 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368228385632 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13178] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477027941 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368227333248 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13179] ppid=13164 vsize=28766288 memory=54 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368226281552 140369113085851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13180] ppid=13164 vsize=28766288 memory=1436 CPUtime=0.97 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) R 13164 13164 11640 0 -1 1077944384 3316 0 0 0 95 2 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368225229424 140369113078402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13181] ppid=13164 vsize=28766288 memory=580 CPUtime=0.98 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) R 13164 13164 11640 0 -1 4202560 3575 0 0 0 97 1 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368224176920 140369097991602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13182] ppid=13164 vsize=28766288 memory=1716 CPUtime=0.8 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11640 0 -1 1077944384 2365 0 0 0 79 1 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368223124336 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13183] ppid=13164 vsize=28766288 memory=10604 CPUtime=0.57 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11640 0 -1 1077944384 2441 0 0 0 57 0 0 0 20 0 28 0 477027943 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368222071536 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13184] ppid=13164 vsize=28766288 memory=3636 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477027944 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368221018464 140369113077461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13185] ppid=13164 vsize=28766288 memory=776 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11640 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 477027944 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368219965744 140369113078402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13186] ppid=13164 vsize=28766288 memory=1564 CPUtime=3.05 cores=0-7
/proc/13166/task/13186/stat : 13186 (java) R 13164 13164 11640 0 -1 4202560 125 0 0 0 305 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368210746328 140368747690796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13187] ppid=13164 vsize=28766288 memory=6088 CPUtime=2.93 cores=0-7
/proc/13166/task/13187/stat : 13187 (java) R 13164 13164 11640 0 -1 4202560 87 0 0 0 293 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368209694776 140368747508533 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13188] ppid=13164 vsize=28766288 memory=1060 CPUtime=2.88 cores=0-7
/proc/13166/task/13188/stat : 13188 (java) R 13164 13164 11640 0 -1 4202560 259 0 0 0 288 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368208642440 140368747832825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13189] ppid=13164 vsize=28766288 memory=2828 CPUtime=2.89 cores=0-7
/proc/13166/task/13189/stat : 13189 (java) R 13164 13164 11640 0 -1 4202560 196 0 0 0 289 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368207589736 140368747832618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13190] ppid=13164 vsize=28766288 memory=3636 CPUtime=3.07 cores=0-7
/proc/13166/task/13190/stat : 13190 (java) R 13164 13164 11640 0 -1 4202560 95 0 0 0 307 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368206537352 140368747830650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13191] ppid=13164 vsize=28766288 memory=776 CPUtime=3.01 cores=0-7
/proc/13166/task/13191/stat : 13191 (java) R 13164 13164 11640 0 -1 4202560 113 0 0 0 301 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368205484616 140368747832767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13192] ppid=13164 vsize=28766288 memory=1564 CPUtime=2.86 cores=0-7
/proc/13166/task/13192/stat : 13192 (java) R 13164 13164 11640 0 -1 4202560 171 0 0 0 286 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368204430992 140368747832618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
[pid=13166/tid=13193] ppid=13164 vsize=28766288 memory=6088 CPUtime=2.89 cores=0-7
/proc/13166/task/13193/stat : 13193 (java) R 13164 13164 11640 0 -1 4202560 132 0 0 0 289 0 0 0 20 0 28 0 477028252 29456678912 274255 33554432000 4194304 4196468 140728118665728 140368203380152 140368747508538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32206848 140728118670294 140728118670470 140728118670470 140728118673359 0
Current children cumulated CPU time: 33.97 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1098472 KiB
Child status: 0
Real time (s): 6.34144
CPU time (s): 34.1437
CPU user time (s): 32.1437
CPU system time (s): 2.00004
CPU usage (%): 538.422
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1098472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.1437
system time used= 2.00004
maximum resident set size= 1098372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30747
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4151
involuntary context switches= 710
# summary of solver processes directly reported to runsolver:
# pid: 13164
# total CPU time (s): 34.1437
# total CPU user time (s): 32.1437
# total CPU system time (s): 2.00004
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059 second user time and 0.128728 second system time
The end
Begin job on node124 at 2019-09-20 22:20:38
IDJOB=4404269
IDBENCH=140001
IDSOLVER=2865
FILE ID=node124/4404269-1569010878
RUNJOBID= node124-1569005314-11667
PBS_JOBID= 21704756
Free space on /var/tmp= 13512 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-vg/Crossword-m1c-ogd-vg-14-15.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404269-1569010878/watcher-4404269-1569010878 -o /var/tmp/evaluation-result-4404269-1569010878/solver-4404269-1569010878 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1456960790 HOME/instance-4404269-1569010878.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8fe4d4ff25aed39a536d9c0933ae8bb1
RANDOM SEED=1456960790
node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.47
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 15779356 kB
MemAvailable: 31820672 kB
Buffers: 141988 kB
Cached: 15845016 kB
SwapCached: 28940 kB
Active: 7957544 kB
Inactive: 8065108 kB
Active(anon): 4192 kB
Inactive(anon): 80500 kB
Active(file): 7953352 kB
Inactive(file): 7984608 kB
Unevictable: 108080 kB
Mlocked: 108080 kB
SwapTotal: 67108860 kB
SwapFree: 66976740 kB
Dirty: 27520 kB
Writeback: 0 kB
AnonPages: 72684 kB
Mapped: 52792 kB
Shmem: 40884 kB
Slab: 560616 kB
SReclaimable: 531816 kB
SUnreclaim: 28800 kB
KernelStack: 3712 kB
PageTables: 5680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /var/tmp at the end= 13484 MiB
End job on node124 at 2019-09-20 22:20:44