2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	29	252.156	246.239
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 (10488 MiB free)
  memory of node 1: 16384 MiB (12673 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301408-1532880571/watcher-4301408-1532880571 -o /tmp/evaluation-result-4301408-1532880571/solver-4301408-1532880571 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 881292338 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301408-1532880571.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8194, runsolver pid=8191

[startup+0.100183 s]*
/proc/loadavg: 1.90 1.87 1.81 5/217 8210
/proc/meminfo: memFree=23701176/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14082940 memory=28604 CPUtime=0.12 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 5566 0 0 0 11 1 0 0 20 0 15 0 105620247 14420930560 7151 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3520735 7151 3000 1 0 3483012 0
[pid=8196/tid=8197] ppid=8194 vsize=14082940 memory=7684448968156353371 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 3589 0 0 0 8 1 0 0 20 0 15 0 105620247 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082904497184 140082900284573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105620249 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105620249 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082440459808 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105620250 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082371618160 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) R 8194 8194 6396 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 15 0 105620252 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082367408240 140082900283994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620253 14420930560 7151 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30056 KiB

[startup+0.210552 s]*
/proc/loadavg: 1.90 1.87 1.81 4/217 8210
/proc/meminfo: memFree=23689500/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14082940 memory=41004 CPUtime=0.34 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 8295 0 0 0 32 2 0 0 20 0 15 0 105620247 14420930560 10251 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3520735 10251 3216 1 0 3483012 0
[pid=8196/tid=8197] ppid=8194 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 5448 0 0 0 18 1 0 0 20 0 15 0 105620247 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082904497632 140082884343134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14082940 memory=140353232641280 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105620248 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105620249 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105620249 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082440459808 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105620250 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082371618160 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 606 0 0 0 3 0 0 0 20 0 15 0 105620252 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14082940 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 105620252 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14082940 memory=140353232021120 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 105620252 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620253 14420930560 10251 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42456 KiB

[startup+0.310772 s]*
/proc/loadavg: 1.90 1.87 1.81 4/217 8210
/proc/meminfo: memFree=23683072/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14087196 memory=48020 CPUtime=0.53 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 9195 0 0 0 50 3 0 0 20 0 15 0 105620247 14425288704 12005 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3521799 12005 3263 1 0 3483012 0
[pid=8196/tid=8197] ppid=8194 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 6157 0 0 0 27 2 0 0 20 0 15 0 105620247 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082904499936 140082884343134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105620248 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105620249 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105620249 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082440459808 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105620250 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082371618160 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14087196 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 710 0 0 0 5 0 0 0 20 0 15 0 105620252 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 176 0 0 0 3 0 0 0 20 0 15 0 105620252 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 105620252 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620253 14425288704 12005 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49472 KiB

[startup+0.701105 s]
/proc/loadavg: 1.90 1.87 1.81 4/217 8210
/proc/meminfo: memFree=23656396/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14089320 memory=111508 CPUtime=1.69 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 12320 0 0 0 165 4 0 0 20 0 15 0 105620247 14427463680 27877 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3522330 27877 3352 1 0 3483524 0
[pid=8196/tid=8197] ppid=8194 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 6581 0 0 0 64 3 0 0 20 0 15 0 105620247 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082904496776 140082525192749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14089320 memory=30072 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620248 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105620248 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105620249 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105620249 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082440459808 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105620250 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082371618160 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14089320 memory=5408 CPUtime=0.37 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) R 8194 8194 6396 0 -1 4202560 1589 0 0 0 37 0 0 0 20 0 15 0 105620252 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082369500656 140082878132625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14089320 memory=1008 CPUtime=0.33 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) R 8194 8194 6396 0 -1 4202560 1260 0 0 0 33 0 0 0 20 0 15 0 105620252 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082368446920 140082885369576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14089320 memory=9992 CPUtime=0.29 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 1582 0 0 0 29 0 0 0 20 0 15 0 105620252 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105620253 14427463680 27877 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 112960 KiB

[startup+1.51208 s]
/proc/loadavg: 1.90 1.87 1.81 5/217 8210
/proc/meminfo: memFree=23531944/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0

################
# More data... #
################

/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 105620250 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082371618176 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14089320 memory=8303054830060986464 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14089320 memory=1452 CPUtime=2.54 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 11062 0 0 0 253 1 0 0 20 0 15 0 105620252 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14089320 memory=399392 CPUtime=2.35 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 6743 0 0 0 234 1 0 0 20 0 15 0 105620252 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14089320 memory=9992 CPUtime=0.71 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 6273 0 0 0 70 1 0 0 20 0 15 0 105620252 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14089320 memory=399392 CPUtime=0.05 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 844 0 0 0 1 4 0 0 20 0 15 0 105620253 14427463680 99848 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 107.92 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 400844 KiB

[startup+162.301 s]
/proc/loadavg: 1.99 1.92 1.84 3/218 8220
/proc/meminfo: memFree=22940248/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14089320 memory=638152 CPUtime=168.03 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 42929 0 0 0 16771 32 0 0 20 0 15 0 105620247 14427463680 159538 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3522330 159538 3426 1 0 3483524 0
[pid=8196/tid=8197] ppid=8194 vsize=14089320 memory=596032 CPUtime=161.87 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 11212 0 0 0 16179 8 0 0 20 0 15 0 105620247 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082904502352 140082529556151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14089320 memory=608320 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 522 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14089320 memory=610368 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 546 0 0 0 5 3 0 0 20 0 15 0 105620248 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14089320 memory=633180 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1007 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14089320 memory=638152 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 1011 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 997 0 0 0 1 0 0 0 20 0 15 0 105620249 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14089320 memory=638152 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 105620249 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082440459872 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 105620250 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082371618176 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14089320 memory=614464 CPUtime=2.54 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 11095 0 0 0 253 1 0 0 20 0 15 0 105620252 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14089320 memory=1452 CPUtime=2.37 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 7830 0 0 0 236 1 0 0 20 0 15 0 105620252 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14089320 memory=638152 CPUtime=0.71 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 6518 0 0 0 70 1 0 0 20 0 15 0 105620252 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14089320 memory=638152 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 878 0 0 0 3 5 0 0 20 0 15 0 105620253 14427463680 159538 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 168.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 639604 KiB

[startup+222.301 s]
/proc/loadavg: 2.00 1.94 1.86 5/216 8252
/proc/meminfo: memFree=23262576/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14089320 memory=638432 CPUtime=228.13 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 45822 0 0 0 22780 33 0 0 20 0 15 0 105620247 14427463680 159608 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3522330 159608 3427 1 0 3483524 0
[pid=8196/tid=8197] ppid=8194 vsize=14089320 memory=1452 CPUtime=221.88 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 11722 0 0 0 22179 9 0 0 20 0 15 0 105620247 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082904499560 140082529556349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14089320 memory=638432 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 522 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14089320 memory=638432 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 546 0 0 0 5 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14089320 memory=638432 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1007 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14089320 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 1011 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14089320 memory=638432 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 1006 0 0 0 1 0 0 0 20 0 15 0 105620249 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 105620249 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082440459872 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14089320 memory=638432 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 105620250 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082371618176 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14089320 memory=3032 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14089320 memory=1452 CPUtime=2.61 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 13010 0 0 0 260 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14089320 memory=638432 CPUtime=2.37 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 7928 0 0 0 236 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14089320 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 6829 0 0 0 70 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14089320 memory=638432 CPUtime=0.1 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 928 0 0 0 4 6 0 0 20 0 15 0 105620253 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 228.13 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 639884 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.201 s]
/proc/loadavg: 2.05 1.96 1.87 3/218 8299
/proc/meminfo: memFree=23109092/32770624 swapFree=67108860/67108860
[pid=8194] ppid=8191 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8194/stat : 8194 (xcsp3-exec) S 8191 8194 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105620246 115843072 363 33554432000 4194304 5098028 140734245989504 140734245987608 140490322039420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17731584 140734245995585 140734245995785 140734245995785 140734245998538 0
/proc/8194/statm: 28282 363 305 221 0 87 0
[pid=8196] ppid=8194 vsize=14089320 memory=638432 CPUtime=252.05 cores=1,3,5,7
/proc/8196/stat : 8196 (java) S 8194 8194 6396 0 -1 1077944320 46012 0 0 0 25171 34 0 0 20 0 15 0 105620247 14427463680 159608 33554432000 4194304 4196468 140736807361168 140736807343712 140082900262647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
/proc/8196/statm: 3522330 159608 3427 1 0 3483524 0
[pid=8196/tid=8197] ppid=8194 vsize=14089320 memory=7451884352908453945 CPUtime=245.78 cores=1,3,5,7
/proc/8196/task/8197/stat : 8197 (java) R 8194 8194 6396 0 -1 4202560 11886 0 0 0 24569 9 0 0 20 0 15 0 105620247 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082904499560 140082529555788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8198] ppid=8194 vsize=14089320 memory=280706177975328 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8198/stat : 8198 (java) S 8194 8194 6396 0 -1 1077944384 522 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082852883088 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8199] ppid=8194 vsize=14089320 memory=301741373374332954 CPUtime=0.08 cores=1,3,5,7
/proc/8196/task/8199/stat : 8199 (java) S 8194 8194 6396 0 -1 1077944384 546 0 0 0 5 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082851830288 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8200] ppid=8194 vsize=14089320 memory=288230621803970871 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8200/stat : 8200 (java) S 8194 8194 6396 0 -1 1077944384 1007 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082850777488 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8201] ppid=8194 vsize=14089320 memory=14134428972616243 CPUtime=0.09 cores=1,3,5,7
/proc/8196/task/8201/stat : 8201 (java) S 8194 8194 6396 0 -1 1077944384 1011 0 0 0 6 3 0 0 20 0 15 0 105620248 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082849724688 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8202] ppid=8194 vsize=14089320 memory=17216 CPUtime=0.01 cores=1,3,5,7
/proc/8196/task/8202/stat : 8202 (java) S 8194 8194 6396 0 -1 1077944384 1006 0 0 0 1 0 0 0 20 0 15 0 105620249 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082441513840 140082900273794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8203] ppid=8194 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8203/stat : 8203 (java) S 8194 8194 6396 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 105620249 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082440459872 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8204] ppid=8194 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8204/stat : 8204 (java) S 8194 8194 6396 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 105620250 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082371618176 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8205] ppid=8194 vsize=14089320 memory=636 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8205/stat : 8205 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082370566480 140082900281243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8206] ppid=8194 vsize=14089320 memory=960 CPUtime=2.61 cores=1,3,5,7
/proc/8196/task/8206/stat : 8206 (java) S 8194 8194 6396 0 -1 1077944384 13032 0 0 0 260 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082369513840 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8207] ppid=8194 vsize=14089320 memory=1232 CPUtime=2.37 cores=1,3,5,7
/proc/8196/task/8207/stat : 8207 (java) S 8194 8194 6396 0 -1 1077944384 7928 0 0 0 236 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082368461040 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8208] ppid=8194 vsize=14089320 memory=2344 CPUtime=0.71 cores=1,3,5,7
/proc/8196/task/8208/stat : 8208 (java) S 8194 8194 6396 0 -1 1077944384 6829 0 0 0 70 1 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082367408240 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8209] ppid=8194 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8196/task/8209/stat : 8209 (java) S 8194 8194 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105620252 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082366355680 140082900272853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
[pid=8196/tid=8210] ppid=8194 vsize=14089320 memory=4128 CPUtime=0.12 cores=1,3,5,7
/proc/8196/task/8210/stat : 8210 (java) S 8194 8194 6396 0 -1 1077944384 932 0 0 0 5 7 0 0 20 0 15 0 105620253 14427463680 159608 33554432000 4194304 4196468 140736807361168 140082365303984 140082900273794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 35016704 140736807363724 140736807363894 140736807363894 140736807366607 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 639884 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+246.227 s]
# the end of solver process 8194 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00227 s, system=0 s

[startup+246.239 s]
# the end of solver process 8196 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.786 s, system=0.370149 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 246.239
CPU time (s): 252.156
CPU user time (s): 251.786
CPU system time (s): 0.370149
CPU usage (%): 102.403
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 639884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.786
system time used= 0.370149
maximum resident set size= 661584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8212
involuntary context switches= 165


# summary of solver processes directly reported to runsolver:
#   pid: 8194,8196
#   total CPU time (s): 252.156
#   total CPU user time (s): 251.786
#   total CPU system time (s): 0.370149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45934 second user time and 2.53549 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	251.924
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301408

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
