2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	8	521.705	68.1077
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 (10977 MiB free)
  memory of node 1: 16384 MiB (12791 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406968-1569344300/watcher-4406968-1569344300 -o /var/tmp/evaluation-result-4406968-1569344300/solver-4406968-1569344300 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1193125568 HOME/instance-4406968-1569344300.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
Current StackSize limit: 8192 KiB

solver pid=18285, runsolver pid=18282

[startup+0.10006 s]*
/proc/loadavg: 7.11 4.43 3.21 2/216 18306
/proc/meminfo: memFree=24323744/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28227396 memory=29040 CPUtime=0.12 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 5693 0 0 0 11 1 0 0 20 0 20 0 510669469 28904853504 7260 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7056849 7260 3149 1 0 7019032 0
[pid=18287/tid=18288] ppid=18285 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) R 18285 18285 16637 0 -1 4202560 3606 0 0 0 8 0 0 0 20 0 20 0 510669469 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199633068720 140199628852630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28227396 memory=140603441141376 CPUtime=0 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18292] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18292/stat : 18292 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199545535120 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18293] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18293/stat : 18293 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199175772944 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18294] ppid=18285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18294/stat : 18294 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199174720400 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18295] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18295/stat : 18295 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199173667856 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18296] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18296/stat : 18296 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 7260 33554432000 4194304 4196468 140729629533648 140199172615312 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18297] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18297/stat : 18297 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198343514096 140199628851842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18298] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18298/stat : 18298 (java) S 18285 18285 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198342460320 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18299] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18299/stat : 18299 (java) S 18285 18285 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198341407728 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18300] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18300/stat : 18300 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198340356304 140199628859291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18301] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18301/stat : 18301 (java) S 18285 18285 16637 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198339303920 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18302] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18302/stat : 18302 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198338251376 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18303] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18303/stat : 18303 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198337198832 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18304] ppid=18285 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) R 18285 18285 16637 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198085258096 140199628852630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 7260 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30488 KiB

[startup+0.210958 s]*
/proc/loadavg: 7.11 4.43 3.21 3/216 18306
/proc/meminfo: memFree=24310504/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28227396 memory=40872 CPUtime=0.34 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 9508 0 0 0 31 3 0 0 20 0 20 0 510669469 28904853504 10218 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7056849 10218 3276 1 0 7019032 0
[pid=18287/tid=18288] ppid=18285 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) R 18285 18285 16637 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 20 0 510669469 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199633074576 140199628852630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28227396 memory=140603444957102 CPUtime=0 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18292] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18292/stat : 18292 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199545535120 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18293] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18293/stat : 18293 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199175772944 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18294] ppid=18285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18294/stat : 18294 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199174720400 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18295] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18295/stat : 18295 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199173667856 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18296] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18296/stat : 18296 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28904853504 10218 33554432000 4194304 4196468 140729629533648 140199172615312 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18297] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18297/stat : 18297 (java) S 18285 18285 16637 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198343514096 140199628851842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18298] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18298/stat : 18298 (java) S 18285 18285 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198342460320 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18299] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18299/stat : 18299 (java) S 18285 18285 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510669472 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198341407728 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18300] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18300/stat : 18300 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198340356304 140199628859291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18301] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18301/stat : 18301 (java) S 18285 18285 16637 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198339303920 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18302] ppid=18285 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18287/task/18302/stat : 18302 (java) S 18285 18285 16637 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198338251376 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18303] ppid=18285 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18287/task/18303/stat : 18303 (java) S 18285 18285 16637 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198337198832 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18304] ppid=18285 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) R 18285 18285 16637 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198085258096 140199607330465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28904853504 10218 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42320 KiB

[startup+0.311357 s]*
/proc/loadavg: 7.11 4.43 3.21 3/216 18306
/proc/meminfo: memFree=24303232/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28231652 memory=49604 CPUtime=0.52 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 10855 0 0 0 48 4 0 0 20 0 20 0 510669469 28909211648 12401 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7057913 12401 3316 1 0 7019032 0
[pid=18287/tid=18288] ppid=18285 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) R 18285 18285 16637 0 -1 4202560 7792 0 0 0 27 3 0 0 20 0 20 0 510669469 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199633074480 140199628862621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18292] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18292/stat : 18292 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199545535120 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18293] ppid=18285 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18287/task/18293/stat : 18293 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199175772944 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18294] ppid=18285 vsize=28231652 memory=140603337831343 CPUtime=0 cores=0-7
/proc/18287/task/18294/stat : 18294 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199174720400 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18295] ppid=18285 vsize=28231652 memory=140603337833648 CPUtime=0 cores=0-7
/proc/18287/task/18295/stat : 18295 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199173667856 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18296] ppid=18285 vsize=28231652 memory=140603337835952 CPUtime=0 cores=0-7
/proc/18287/task/18296/stat : 18296 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28909211648 12401 33554432000 4194304 4196468 140729629533648 140199172615312 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18297] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18297/stat : 18297 (java) S 18285 18285 16637 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510669472 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198343514096 140199628851842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18298] ppid=18285 vsize=28231652 memory=281206675678864 CPUtime=0 cores=0-7
/proc/18287/task/18298/stat : 18298 (java) S 18285 18285 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510669472 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198342460320 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18299] ppid=18285 vsize=28231652 memory=281206675685776 CPUtime=0 cores=0-7
/proc/18287/task/18299/stat : 18299 (java) S 18285 18285 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510669472 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198341407728 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18300] ppid=18285 vsize=28231652 memory=281206675627056 CPUtime=0 cores=0-7
/proc/18287/task/18300/stat : 18300 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198340356304 140199628859291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18301] ppid=18285 vsize=28231652 memory=281206675699600 CPUtime=0.02 cores=0-7
/proc/18287/task/18301/stat : 18301 (java) S 18285 18285 16637 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198339303920 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18302] ppid=18285 vsize=28231652 memory=281206675706512 CPUtime=0.04 cores=0-7
/proc/18287/task/18302/stat : 18302 (java) R 18285 18285 16637 0 -1 4202560 192 0 0 0 4 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198338241760 140199610363610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18303] ppid=18285 vsize=28231652 memory=281206675704208 CPUtime=0.02 cores=0-7
/proc/18287/task/18303/stat : 18303 (java) S 18285 18285 16637 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198337198832 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18304] ppid=18285 vsize=28231652 memory=281206675720368 CPUtime=0.12 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) S 18285 18285 16637 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198085258096 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669475 28909211648 12401 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51052 KiB

[startup+0.700959 s]
/proc/loadavg: 7.11 4.43 3.21 5/216 18306
/proc/meminfo: memFree=24282704/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28233776 memory=119308 CPUtime=1.95 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 14890 0 0 0 190 5 0 0 20 0 20 0 510669469 28911386624 29827 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7058444 29827 3447 1 0 7019544 0
[pid=18287/tid=18288] ppid=18285 vsize=28233776 memory=281206676078256 CPUtime=0.67 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) R 18285 18285 16637 0 -1 4202560 8370 0 0 0 64 3 0 0 20 0 20 0 510669469 28911386624 29827 33554432000 4194304 4196468 140729629533648 140199633074912 140199621157200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28233776 memory=140603338040176 CPUtime=0 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510669470 28911386624 29827 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510669470 28911386624 29827 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510669470 28911386624 29827 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0

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

[pid=18287/tid=18304] ppid=18285 vsize=28768336 memory=2832 CPUtime=0.96 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) S 18285 18285 16637 0 -1 1077944384 8105 0 0 0 93 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198085258096 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28768336 memory=3280 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28768336 memory=1744 CPUtime=0.03 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1006 0 0 0 0 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18371] ppid=18285 vsize=28768336 memory=780 CPUtime=61.5 cores=0-7
/proc/18287/task/18371/stat : 18371 (java) R 18285 18285 16637 0 -1 4202560 7936 0 0 0 6118 32 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198071011544 140199234863971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18372] ppid=18285 vsize=28768336 memory=1440 CPUtime=60.53 cores=0-7
/proc/18287/task/18372/stat : 18372 (java) R 18285 18285 16637 0 -1 4202560 700 0 0 0 6053 0 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198000185880 140199231002701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18373] ppid=18285 vsize=28768336 memory=1984 CPUtime=61.13 cores=0-7
/proc/18287/task/18373/stat : 18373 (java) R 18285 18285 16637 0 -1 4202560 9090 0 0 0 6050 63 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198068909016 140199228360806 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18374] ppid=18285 vsize=28768336 memory=2376 CPUtime=61.44 cores=0-7
/proc/18287/task/18374/stat : 18374 (java) R 18285 18285 16637 0 -1 4202560 777 0 0 0 6143 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198069961160 140199233370692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18375] ppid=18285 vsize=28768336 memory=1768 CPUtime=61.31 cores=0-7
/proc/18287/task/18375/stat : 18375 (java) R 18285 18285 16637 0 -1 4202560 873 0 0 0 6128 3 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198073119352 140199233370559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18376] ppid=18285 vsize=28768336 memory=111628 CPUtime=61.45 cores=0-7
/proc/18287/task/18376/stat : 18376 (java) R 18285 18285 16637 0 -1 4202560 3878 0 0 0 6130 15 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140197999136032 140199233851896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18377] ppid=18285 vsize=28768336 memory=804 CPUtime=61.62 cores=0-7
/proc/18287/task/18377/stat : 18377 (java) R 18285 18285 16637 0 -1 4202560 1191 0 0 0 6161 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198074171008 140199233852621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18378] ppid=18285 vsize=28768336 memory=1660 CPUtime=61.38 cores=0-7
/proc/18287/task/18378/stat : 18378 (java) R 18285 18285 16637 0 -1 4202560 9585 0 0 0 6096 42 0 0 20 0 28 0 510669993 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198072065368 140199228360806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 515.05 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5460844 KiB

[startup+67.6017 s]
/proc/loadavg: 7.67 5.14 3.54 10/224 18382
/proc/meminfo: memFree=18883688/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28768336 memory=5459396 CPUtime=518.25 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 107162 0 0 0 51576 249 0 0 20 0 28 0 510669469 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7192084 1364849 3532 1 0 7153184 0
[pid=18287/tid=18288] ppid=18285 vsize=28768336 memory=780 CPUtime=3.45 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) S 18285 18285 16637 0 -1 1077944384 11821 0 0 0 335 10 0 0 20 0 28 0 510669469 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199633081472 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28768336 memory=1440 CPUtime=0.24 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 794 0 0 0 17 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28768336 memory=281206676614272 CPUtime=0.19 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 372 0 0 0 12 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28768336 memory=6944652177228980320 CPUtime=0.22 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 1031 0 0 0 15 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18292] ppid=18285 vsize=28768336 memory=6368773113956559464 CPUtime=0.22 cores=0-7
/proc/18287/task/18292/stat : 18292 (java) S 18285 18285 16637 0 -1 1077944384 1193 0 0 0 14 8 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199545535120 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18293] ppid=18285 vsize=28768336 memory=7235993028691914087 CPUtime=0.21 cores=0-7
/proc/18287/task/18293/stat : 18293 (java) S 18285 18285 16637 0 -1 1077944384 1212 0 0 0 15 6 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199175772944 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18294] ppid=18285 vsize=28768336 memory=5933600731086483562 CPUtime=0.22 cores=0-7
/proc/18287/task/18294/stat : 18294 (java) S 18285 18285 16637 0 -1 1077944384 635 0 0 0 15 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199174720400 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18295] ppid=18285 vsize=28768336 memory=7595974338552359012 CPUtime=0.23 cores=0-7
/proc/18287/task/18295/stat : 18295 (java) S 18285 18285 16637 0 -1 1077944384 965 0 0 0 16 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199173667856 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18296] ppid=18285 vsize=28768336 memory=7522253182985727077 CPUtime=0.22 cores=0-7
/proc/18287/task/18296/stat : 18296 (java) S 18285 18285 16637 0 -1 1077944384 446 0 0 0 16 6 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199172615312 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18297] ppid=18285 vsize=28768336 memory=7595974338552359012 CPUtime=0.05 cores=0-7
/proc/18287/task/18297/stat : 18297 (java) S 18285 18285 16637 0 -1 1077944384 4966 0 0 0 3 2 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198343514096 140199628851842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18298] ppid=18285 vsize=28768336 memory=7522253182985727077 CPUtime=0 cores=0-7
/proc/18287/task/18298/stat : 18298 (java) S 18285 18285 16637 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198342460384 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18299] ppid=18285 vsize=28768336 memory=7522253182985727077 CPUtime=0 cores=0-7
/proc/18287/task/18299/stat : 18299 (java) S 18285 18285 16637 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198341407744 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18300] ppid=18285 vsize=28768336 memory=7595974338552359012 CPUtime=0 cores=0-7
/proc/18287/task/18300/stat : 18300 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198340356304 140199628859291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18301] ppid=18285 vsize=28768336 memory=7235431178552763752 CPUtime=4.09 cores=0-7
/proc/18287/task/18301/stat : 18301 (java) S 18285 18285 16637 0 -1 1077944384 13411 0 0 0 405 4 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198339303920 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18302] ppid=18285 vsize=28768336 memory=7595974338552359012 CPUtime=4.11 cores=0-7
/proc/18287/task/18302/stat : 18302 (java) S 18285 18285 16637 0 -1 1077944384 13714 0 0 0 408 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198338251376 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18303] ppid=18285 vsize=28768336 memory=1448 CPUtime=3.89 cores=0-7
/proc/18287/task/18303/stat : 18303 (java) S 18285 18285 16637 0 -1 1077944384 10557 0 0 0 387 2 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198337198832 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18304] ppid=18285 vsize=28768336 memory=1448 CPUtime=0.96 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) S 18285 18285 16637 0 -1 1077944384 8105 0 0 0 93 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198085258096 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28768336 memory=5459396 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28768336 memory=63992 CPUtime=0.03 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1006 0 0 0 0 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18371] ppid=18285 vsize=28768336 memory=1448 CPUtime=61.9 cores=0-7
/proc/18287/task/18371/stat : 18371 (java) R 18285 18285 16637 0 -1 4202560 7936 0 0 0 6158 32 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198071011544 140199228271817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18372] ppid=18285 vsize=28768336 memory=5445152 CPUtime=60.93 cores=0-7
/proc/18287/task/18372/stat : 18372 (java) R 18285 18285 16637 0 -1 4202560 701 0 0 0 6093 0 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198000185880 140199233684355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18373] ppid=18285 vsize=28768336 memory=920 CPUtime=61.53 cores=0-7
/proc/18287/task/18373/stat : 18373 (java) R 18285 18285 16637 0 -1 4202560 9090 0 0 0 6090 63 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198068907736 140199233684355 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18374] ppid=18285 vsize=28768336 memory=4476 CPUtime=61.84 cores=0-7
/proc/18287/task/18374/stat : 18374 (java) R 18285 18285 16637 0 -1 4202560 777 0 0 0 6183 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198069961024 140199233370759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18375] ppid=18285 vsize=28768336 memory=4100 CPUtime=61.71 cores=0-7
/proc/18287/task/18375/stat : 18375 (java) R 18285 18285 16637 0 -1 4202560 891 0 0 0 6168 3 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198073119352 140199233370785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18376] ppid=18285 vsize=28768336 memory=1408 CPUtime=61.85 cores=0-7
/proc/18287/task/18376/stat : 18376 (java) R 18285 18285 16637 0 -1 4202560 3879 0 0 0 6170 15 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140197999133584 140199234267414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18377] ppid=18285 vsize=28768336 memory=3424 CPUtime=62.02 cores=0-7
/proc/18287/task/18377/stat : 18377 (java) R 18285 18285 16637 0 -1 4202560 1192 0 0 0 6201 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198074171432 140199233370619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18378] ppid=18285 vsize=28768336 memory=1448 CPUtime=61.78 cores=0-7
/proc/18287/task/18378/stat : 18378 (java) R 18285 18285 16637 0 -1 4202560 9587 0 0 0 6136 42 0 0 20 0 28 0 510669993 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198072065008 140199230029611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 518.25 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5460844 KiB

[startup+68.0117 s]*
/proc/loadavg: 7.67 5.14 3.54 9/224 18382
/proc/meminfo: memFree=18883688/32770624 swapFree=67002960/67108860
[pid=18285] ppid=18282 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18285/stat : 18285 (xcsp3-exec) S 18282 18285 16637 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510669469 115843072 362 33554432000 4194304 5098028 140734781324464 140734781322568 140038451331708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33521664 140734781326161 140734781326421 140734781326421 140734781329350 0
/proc/18285/statm: 28282 362 304 221 0 87 0
[pid=18287] ppid=18285 vsize=28768336 memory=5459396 CPUtime=521.56 cores=0-7
/proc/18287/stat : 18287 (java) S 18285 18285 16637 0 -1 1077944320 107234 0 0 0 51907 249 0 0 20 0 28 0 510669469 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140729629516192 140199628840695 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
/proc/18287/statm: 7192084 1364849 3532 1 0 7153184 0
[pid=18287/tid=18288] ppid=18285 vsize=28768336 memory=6791534058613427641 CPUtime=3.45 cores=0-7
/proc/18287/task/18288/stat : 18288 (java) S 18285 18285 16637 0 -1 1077944384 11821 0 0 0 335 10 0 0 20 0 28 0 510669469 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199633081472 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18289] ppid=18285 vsize=28768336 memory=4872558044660077418 CPUtime=0.24 cores=0-7
/proc/18287/task/18289/stat : 18289 (java) S 18285 18285 16637 0 -1 1077944384 794 0 0 0 17 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199548692752 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18290] ppid=18285 vsize=28768336 memory=0 CPUtime=0.19 cores=0-7
/proc/18287/task/18290/stat : 18290 (java) S 18285 18285 16637 0 -1 1077944384 372 0 0 0 12 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199547640208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18291] ppid=18285 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/18287/task/18291/stat : 18291 (java) S 18285 18285 16637 0 -1 1077944384 1031 0 0 0 15 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199546587664 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18292] ppid=18285 vsize=28768336 memory=7086528802698650215 CPUtime=0.22 cores=0-7
/proc/18287/task/18292/stat : 18292 (java) S 18285 18285 16637 0 -1 1077944384 1193 0 0 0 14 8 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199545535120 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18293] ppid=18285 vsize=28768336 memory=5938678241440328042 CPUtime=0.21 cores=0-7
/proc/18287/task/18293/stat : 18293 (java) S 18285 18285 16637 0 -1 1077944384 1212 0 0 0 15 6 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199175772944 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18294] ppid=18285 vsize=28768336 memory=281206675476368 CPUtime=0.22 cores=0-7
/proc/18287/task/18294/stat : 18294 (java) S 18285 18285 16637 0 -1 1077944384 635 0 0 0 15 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199174720400 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18295] ppid=18285 vsize=28768336 memory=73747876809450 CPUtime=0.23 cores=0-7
/proc/18287/task/18295/stat : 18295 (java) S 18285 18285 16637 0 -1 1077944384 965 0 0 0 16 7 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199173667856 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18296] ppid=18285 vsize=28768336 memory=75946900064001 CPUtime=0.22 cores=0-7
/proc/18287/task/18296/stat : 18296 (java) S 18285 18285 16637 0 -1 1077944384 446 0 0 0 16 6 0 0 20 0 28 0 510669470 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140199172615312 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18297] ppid=18285 vsize=28768336 memory=281206676359584 CPUtime=0.05 cores=0-7
/proc/18287/task/18297/stat : 18297 (java) S 18285 18285 16637 0 -1 1077944384 4966 0 0 0 3 2 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198343514096 140199628851842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18298] ppid=18285 vsize=28768336 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/18287/task/18298/stat : 18298 (java) S 18285 18285 16637 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198342460384 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18299] ppid=18285 vsize=28768336 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/18287/task/18299/stat : 18299 (java) S 18285 18285 16637 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 510669472 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198341407744 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18300] ppid=18285 vsize=28768336 memory=-7175204567652784766 CPUtime=0 cores=0-7
/proc/18287/task/18300/stat : 18300 (java) S 18285 18285 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198340356304 140199628859291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18301] ppid=18285 vsize=28768336 memory=3054156605268465310 CPUtime=4.09 cores=0-7
/proc/18287/task/18301/stat : 18301 (java) S 18285 18285 16637 0 -1 1077944384 13411 0 0 0 405 4 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198339303920 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18302] ppid=18285 vsize=28768336 memory=-6520471753822164382 CPUtime=4.11 cores=0-7
/proc/18287/task/18302/stat : 18302 (java) S 18285 18285 16637 0 -1 1077944384 13714 0 0 0 408 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198338251376 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18303] ppid=18285 vsize=28768336 memory=-8707038579349950309 CPUtime=3.89 cores=0-7
/proc/18287/task/18303/stat : 18303 (java) S 18285 18285 16637 0 -1 1077944384 10557 0 0 0 387 2 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198337198832 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18304] ppid=18285 vsize=28768336 memory=4713745541279610410 CPUtime=0.96 cores=0-7
/proc/18287/task/18304/stat : 18304 (java) S 18285 18285 16637 0 -1 1077944384 8105 0 0 0 93 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198085258096 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18305] ppid=18285 vsize=28768336 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/18287/task/18305/stat : 18305 (java) S 18285 18285 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198084204768 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18306] ppid=18285 vsize=28768336 memory=80718608730602 CPUtime=0.03 cores=0-7
/proc/18287/task/18306/stat : 18306 (java) S 18285 18285 16637 0 -1 1077944384 1006 0 0 0 0 3 0 0 20 0 28 0 510669475 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198083152304 140199628851842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18371] ppid=18285 vsize=28768336 memory=80718608730602 CPUtime=62.32 cores=0-7
/proc/18287/task/18371/stat : 18371 (java) R 18285 18285 16637 0 -1 4202560 7936 0 0 0 6200 32 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198071011544 140199228360806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18372] ppid=18285 vsize=28768336 memory=80718608730346 CPUtime=61.34 cores=0-7
/proc/18287/task/18372/stat : 18372 (java) S 18285 18285 16637 0 -1 1077944384 721 0 0 0 6134 0 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198000190544 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18373] ppid=18285 vsize=28768336 memory=6791534058613427641 CPUtime=61.95 cores=0-7
/proc/18287/task/18373/stat : 18373 (java) R 18285 18285 16637 0 -1 4202560 9090 0 0 0 6132 63 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198068907736 140199233850547 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18374] ppid=18285 vsize=28768336 memory=4872558044660077418 CPUtime=62.25 cores=0-7
/proc/18287/task/18374/stat : 18374 (java) S 18285 18285 16637 0 -1 1077944384 782 0 0 0 6224 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198069966160 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18375] ppid=18285 vsize=28768336 memory=6791534058613427641 CPUtime=62.11 cores=0-7
/proc/18287/task/18375/stat : 18375 (java) S 18285 18285 16637 0 -1 1077944384 894 0 0 0 6208 3 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198073124304 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18376] ppid=18285 vsize=28768336 memory=4872558044660077418 CPUtime=62.26 cores=0-7
/proc/18287/task/18376/stat : 18376 (java) S 18285 18285 16637 0 -1 1077944384 3919 0 0 0 6211 15 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140197999138384 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18377] ppid=18285 vsize=28768336 memory=303430223234596890 CPUtime=62.43 cores=0-7
/proc/18287/task/18377/stat : 18377 (java) S 18285 18285 16637 0 -1 1077944384 1196 0 0 0 6242 1 0 0 20 0 28 0 510669992 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198074176208 140199628850901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
[pid=18287/tid=18378] ppid=18285 vsize=28768336 memory=303430244793319739 CPUtime=62.2 cores=0-7
/proc/18287/task/18378/stat : 18378 (java) R 18285 18285 16637 0 -1 4202560 9587 0 0 0 6178 42 0 0 20 0 28 0 510669993 29458776064 1364849 33554432000 4194304 4196468 140729629533648 140198072065008 140199228271239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140729629541334 140729629541510 140729629541510 140729629544399 0
Current children cumulated CPU time: 521.56 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5460844 KiB

Child status: 0
Real time (s): 68.1077
CPU time (s): 521.705
CPU user time (s): 519.182
CPU system time (s): 2.5227
CPU usage (%): 765.999
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5460844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 519.182
system time used= 2.5227
maximum resident set size= 5459512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7886
involuntary context switches= 7053


# summary of solver processes directly reported to runsolver:
#   pid: 18285
#   total CPU time (s): 521.705
#   total CPU user time (s): 519.182
#   total CPU system time (s): 2.5227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.616255 second user time and 0.882029 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.4372
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406968

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
