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-16 parallel	SAT (TO)	24	20042.2	2520.11
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 (15229 MiB free)
  memory of node 1: 16384 MiB (15530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400006-1568700988/watcher-4400006-1568700988 -o /tmp/evaluation-result-4400006-1568700988/solver-4400006-1568700988 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568700929-11062 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 186789680 HOME/instance-4400006-1568700988.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11079, runsolver pid=11076
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 3.25 4.30 4.10 2/211 11100
/proc/meminfo: memFree=31481040/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28227396 memory=30064 CPUtime=0.12 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 5490 0 0 0 11 1 0 0 20 0 20 0 446351836 28904853504 7516 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7056849 7516 3118 1 0 7019032 0
[pid=11081/tid=11082] ppid=11079 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) R 11079 11079 11035 0 -1 4202560 3403 0 0 0 8 0 0 0 20 0 20 0 446351836 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332650376224 140332646153622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28227396 memory=140161928910464 CPUtime=0 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11086] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11086/stat : 11086 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332562836368 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11087] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11087/stat : 11087 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332561783312 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11088] ppid=11079 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11088/stat : 11088 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332560730768 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11089] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11089/stat : 11089 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332559677712 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11090] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11090/stat : 11090 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 7516 33554432000 4194304 4196468 140732093907232 140332558625168 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11091] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11091/stat : 11091 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351838 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330841819888 140332646152834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11092] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11092/stat : 11092 (java) S 11079 11079 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446351839 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330840766112 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11093] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11093/stat : 11093 (java) S 11079 11079 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446351839 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330839713008 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11094] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11094/stat : 11094 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351841 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330838661584 140332646160283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11095] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11095/stat : 11095 (java) S 11079 11079 11035 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330837608688 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11096] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11096/stat : 11096 (java) S 11079 11079 11035 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330836556144 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11097] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11097/stat : 11097 (java) R 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330835503088 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11098] ppid=11079 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11081/task/11098/stat : 11098 (java) S 11079 11079 11035 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330834450544 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11099] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11099/stat : 11099 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330833398752 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11100] ppid=11079 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11100/stat : 11100 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 7516 33554432000 4194304 4196468 140732093907232 140330832346288 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31520 KiB

[startup+0.21109 s]*
/proc/loadavg: 3.25 4.30 4.10 3/211 11100
/proc/meminfo: memFree=31466428/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28227396 memory=41352 CPUtime=0.34 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 9079 0 0 0 31 3 0 0 20 0 20 0 446351836 28904853504 10338 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7056849 10338 3300 1 0 7019032 0
[pid=11081/tid=11082] ppid=11079 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) R 11079 11079 11035 0 -1 4202560 6217 0 0 0 18 1 0 0 20 0 20 0 446351836 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332650376384 140332628662691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28227396 memory=3546217135451657888 CPUtime=0 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11086] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11086/stat : 11086 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332562836368 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11087] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11087/stat : 11087 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332561783312 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11088] ppid=11079 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11088/stat : 11088 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332560730768 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11089] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11089/stat : 11089 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332559677712 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11090] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11090/stat : 11090 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351837 28904853504 10338 33554432000 4194304 4196468 140732093907232 140332558625168 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11091] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11091/stat : 11091 (java) S 11079 11079 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446351838 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330841819888 140332646152834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11092] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11092/stat : 11092 (java) S 11079 11079 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446351839 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330840766112 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11093] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11093/stat : 11093 (java) S 11079 11079 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446351839 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330839713008 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11094] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11094/stat : 11094 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351841 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330838661584 140332646160283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11095] ppid=11079 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11081/task/11095/stat : 11095 (java) S 11079 11079 11035 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330837608688 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11096] ppid=11079 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/11081/task/11096/stat : 11096 (java) S 11079 11079 11035 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330836556144 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11097] ppid=11079 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/11081/task/11097/stat : 11097 (java) S 11079 11079 11035 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330835503088 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11098] ppid=11079 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/11081/task/11098/stat : 11098 (java) R 11079 11079 11035 0 -1 4202560 695 0 0 0 8 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330834449728 140332629499985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11099] ppid=11079 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11099/stat : 11099 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330833398752 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11100] ppid=11079 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11100/stat : 11100 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351842 28904853504 10338 33554432000 4194304 4196468 140732093907232 140330832346288 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42808 KiB

[startup+0.319585 s]*
/proc/loadavg: 3.25 4.30 4.10 3/211 11100
/proc/meminfo: memFree=31459168/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28231652 memory=50272 CPUtime=0.54 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 10494 0 0 0 51 3 0 0 20 0 20 0 446351836 28909211648 12568 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7057913 12568 3338 1 0 7019032 0
[pid=11081/tid=11082] ppid=11079 vsize=28231652 memory=8317482817917895235 CPUtime=0.31 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) R 11079 11079 11035 0 -1 4202560 7423 0 0 0 29 2 0 0 20 0 20 0 446351836 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332650375472 140332630222174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11086] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11086/stat : 11086 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332562836368 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11087] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11087/stat : 11087 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332561783312 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11088] ppid=11079 vsize=28231652 memory=140161828612783 CPUtime=0 cores=0-7
/proc/11081/task/11088/stat : 11088 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332560730768 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11089] ppid=11079 vsize=28231652 memory=140161828615088 CPUtime=0 cores=0-7
/proc/11081/task/11089/stat : 11089 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332559677712 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11090] ppid=11079 vsize=28231652 memory=140161828617392 CPUtime=0 cores=0-7
/proc/11081/task/11090/stat : 11090 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351837 28909211648 12568 33554432000 4194304 4196468 140732093907232 140332558625168 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11091] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11091/stat : 11091 (java) S 11079 11079 11035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446351838 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330841819888 140332646152834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11092] ppid=11079 vsize=28231652 memory=280323657248656 CPUtime=0 cores=0-7
/proc/11081/task/11092/stat : 11092 (java) S 11079 11079 11035 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446351839 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330840766112 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11093] ppid=11079 vsize=28231652 memory=280323657246352 CPUtime=0 cores=0-7
/proc/11081/task/11093/stat : 11093 (java) S 11079 11079 11035 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446351839 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330839713008 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11094] ppid=11079 vsize=28231652 memory=280323657253264 CPUtime=0 cores=0-7
/proc/11081/task/11094/stat : 11094 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351841 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330838661584 140332646160283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11095] ppid=11079 vsize=28231652 memory=280323657194544 CPUtime=0.02 cores=0-7
/proc/11081/task/11095/stat : 11095 (java) S 11079 11079 11035 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330837608688 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11096] ppid=11079 vsize=28231652 memory=280323657267088 CPUtime=0.04 cores=0-7
/proc/11081/task/11096/stat : 11096 (java) S 11079 11079 11035 0 -1 1077944384 342 0 0 0 4 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330836556144 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11097] ppid=11079 vsize=28231652 memory=280323657274000 CPUtime=0.01 cores=0-7
/proc/11081/task/11097/stat : 11097 (java) S 11079 11079 11035 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330835503088 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11098] ppid=11079 vsize=28231652 memory=280323657271696 CPUtime=0.12 cores=0-7
/proc/11081/task/11098/stat : 11098 (java) S 11079 11079 11035 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330834450544 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11099] ppid=11079 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11099/stat : 11099 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330833398752 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11100] ppid=11079 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11081/task/11100/stat : 11100 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446351842 28909211648 12568 33554432000 4194304 4196468 140732093907232 140330832346288 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51728 KiB

[startup+0.700927 s]
/proc/loadavg: 3.25 4.30 4.10 4/211 11100
/proc/meminfo: memFree=31440400/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28233776 memory=115204 CPUtime=1.95 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 15388 0 0 0 190 5 0 0 20 0 20 0 446351836 28911386624 28801 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7058444 28801 3446 1 0 7019544 0
[pid=11081/tid=11082] ppid=11079 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) R 11079 11079 11035 0 -1 4202560 7911 0 0 0 65 3 0 0 20 0 20 0 446351836 28911386624 28801 33554432000 4194304 4196468 140732093907232 140332650377416 140332238683829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28233776 memory=140161828823920 CPUtime=0 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28911386624 28801 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28911386624 28801 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28233776 memory=1004 CPUtime=0 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446351837 28911386624 28801 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0

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

[pid=11081/tid=11148] ppid=11079 vsize=28768336 memory=1456 CPUtime=2418.75 cores=0-7
/proc/11081/task/11148/stat : 11148 (java) R 11079 11079 11035 0 -1 4202560 29203 0 0 0 241852 23 0 0 20 0 28 0 446352168 29458776064 604450 33554432000 4194304 4196468 140732093907232 140330815759000 140332243618147 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 19424.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2419256 KiB

[startup+2502.3 s]
/proc/loadavg: 8.06 8.26 8.04 9/219 11337
/proc/meminfo: memFree=29105544/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28768336 memory=2395220 CPUtime=19900.8 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 996663 0 0 0 1989205 873 0 0 20 0 28 0 446351836 29458776064 598805 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7192084 598805 3558 1 0 7153184 0
[pid=11081/tid=11082] ppid=11079 vsize=28768336 memory=1456 CPUtime=2.64 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) S 11079 11079 11035 0 -1 1077944384 10571 0 0 0 255 9 0 0 20 0 28 0 446351836 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332650382464 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28768336 memory=2397280 CPUtime=7.05 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 47249 0 0 0 684 21 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28768336 memory=2396768 CPUtime=7.09 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 39692 0 0 0 686 23 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28768336 memory=1456 CPUtime=7.02 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 33220 0 0 0 681 21 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11086] ppid=11079 vsize=28768336 memory=2395220 CPUtime=6.94 cores=0-7
/proc/11081/task/11086/stat : 11086 (java) S 11079 11079 11035 0 -1 1077944384 49813 0 0 0 672 22 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332562836368 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11087] ppid=11079 vsize=28768336 memory=1456 CPUtime=6.96 cores=0-7
/proc/11081/task/11087/stat : 11087 (java) S 11079 11079 11035 0 -1 1077944384 47249 0 0 0 672 24 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332561783312 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11088] ppid=11079 vsize=28768336 memory=1456 CPUtime=6.97 cores=0-7
/proc/11081/task/11088/stat : 11088 (java) S 11079 11079 11035 0 -1 1077944384 40689 0 0 0 674 23 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332560730768 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11089] ppid=11079 vsize=28768336 memory=2397796 CPUtime=7.08 cores=0-7
/proc/11081/task/11089/stat : 11089 (java) S 11079 11079 11035 0 -1 1077944384 43318 0 0 0 682 26 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332559677712 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11090] ppid=11079 vsize=28768336 memory=1456 CPUtime=7.08 cores=0-7
/proc/11081/task/11090/stat : 11090 (java) S 11079 11079 11035 0 -1 1077944384 40857 0 0 0 685 23 0 0 20 0 28 0 446351837 29458776064 598805 33554432000 4194304 4196468 140732093907232 140332558625168 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11091] ppid=11079 vsize=28768336 memory=1456 CPUtime=2.65 cores=0-7
/proc/11081/task/11091/stat : 11091 (java) S 11079 11079 11035 0 -1 1077944384 183828 0 0 0 200 65 0 0 20 0 28 0 446351838 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330841819888 140332646152834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11092] ppid=11079 vsize=28768336 memory=2395744 CPUtime=0 cores=0-7
/proc/11081/task/11092/stat : 11092 (java) S 11079 11079 11035 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446351839 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330840766176 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11093] ppid=11079 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/11081/task/11093/stat : 11093 (java) S 11079 11079 11035 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 446351839 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330839713024 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11094] ppid=11079 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/11081/task/11094/stat : 11094 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446351841 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330838661584 140332646160283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11095] ppid=11079 vsize=28768336 memory=140161829745985 CPUtime=3.13 cores=0-7
/proc/11081/task/11095/stat : 11095 (java) S 11079 11079 11035 0 -1 1077944384 18795 0 0 0 310 3 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330837608688 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11096] ppid=11079 vsize=28768336 memory=49769948355818 CPUtime=3.4 cores=0-7
/proc/11081/task/11096/stat : 11096 (java) S 11079 11079 11035 0 -1 1077944384 25457 0 0 0 337 3 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330836556144 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11097] ppid=11079 vsize=28768336 memory=1456 CPUtime=3.36 cores=0-7
/proc/11081/task/11097/stat : 11097 (java) S 11079 11079 11035 0 -1 1077944384 20762 0 0 0 331 5 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330835503088 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11098] ppid=11079 vsize=28768336 memory=3504 CPUtime=1 cores=0-7
/proc/11081/task/11098/stat : 11098 (java) S 11079 11079 11035 0 -1 1077944384 22714 0 0 0 96 4 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330834450544 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11099] ppid=11079 vsize=28768336 memory=2828 CPUtime=0 cores=0-7
/proc/11081/task/11099/stat : 11099 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330833398752 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11100] ppid=11079 vsize=28768336 memory=676 CPUtime=0.78 cores=0-7
/proc/11081/task/11100/stat : 11100 (java) S 11079 11079 11035 0 -1 1077944384 8672 0 0 0 40 38 0 0 20 0 28 0 446351842 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330832346288 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11141] ppid=11079 vsize=28768336 memory=3504 CPUtime=2482.91 cores=0-7
/proc/11081/task/11141/stat : 11141 (java) R 11079 11079 11035 0 -1 4202560 75864 0 0 0 248260 31 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330823126120 140332243655877 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11142] ppid=11079 vsize=28768336 memory=48472 CPUtime=2478.88 cores=0-7
/proc/11081/task/11142/stat : 11142 (java) R 11079 11079 11035 0 -1 4202560 30970 0 0 0 247863 25 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330822075336 140332243906054 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11143] ppid=11079 vsize=28768336 memory=2396256 CPUtime=2476.38 cores=0-7
/proc/11081/task/11143/stat : 11143 (java) R 11079 11079 11035 0 -1 4202560 29161 0 0 0 247608 30 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330817864264 140332235855200 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11144] ppid=11079 vsize=28768336 memory=1456 CPUtime=2478.6 cores=0-7
/proc/11081/task/11144/stat : 11144 (java) R 11079 11079 11035 0 -1 4202560 77795 0 0 0 247612 248 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330818916632 140332243567714 0 4 0 16800975 0 0 0 -1 6 0 0 22 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11145] ppid=11079 vsize=28768336 memory=2396768 CPUtime=2475.3 cores=0-7
/proc/11081/task/11145/stat : 11145 (java) R 11079 11079 11035 0 -1 4202560 28716 0 0 0 247490 40 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330821024096 140332242826845 0 4 0 16800975 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11146] ppid=11079 vsize=28768336 memory=0 CPUtime=2475.49 cores=0-7
/proc/11081/task/11146/stat : 11146 (java) R 11079 11079 11035 0 -1 4202560 39389 0 0 0 247482 67 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330816810616 140332242826830 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11147] ppid=11079 vsize=28768336 memory=0 CPUtime=2478.78 cores=0-7
/proc/11081/task/11147/stat : 11147 (java) R 11079 11079 11035 0 -1 4202560 49797 0 0 0 247738 140 0 0 20 0 28 0 446352167 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330819969280 140332242826602 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11148] ppid=11079 vsize=28768336 memory=0 CPUtime=2478.15 cores=0-7
/proc/11081/task/11148/stat : 11148 (java) R 11079 11079 11035 0 -1 4202560 29714 0 0 0 247791 24 0 0 20 0 28 0 446352168 29458776064 598805 33554432000 4194304 4196468 140732093907232 140330815759000 140332243906030 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 19900.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2396676 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.05 8.24 8.04 9/219 11337
/proc/meminfo: memFree=29112924/32770624 swapFree=66997372/67108860
[pid=11079] ppid=11076 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11079/stat : 11079 (xcsp3-exec) S 11076 11079 11035 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446351836 115843072 364 33554432000 4194304 5098028 140724712458512 140724712456616 139832746398332 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22859776 140724712461174 140724712461417 140724712461417 140724712464330 0
/proc/11079/statm: 28282 364 305 221 0 87 0
[pid=11081] ppid=11079 vsize=28768336 memory=2388048 CPUtime=20041.5 cores=0-7
/proc/11081/stat : 11081 (java) S 11079 11079 11035 0 -1 1077944320 1002662 0 0 0 2003268 879 0 0 20 0 28 0 446351836 29458776064 597012 33554432000 4194304 4196468 140732093907232 140732093889776 140332646141687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
/proc/11081/statm: 7192084 597012 3558 1 0 7153184 0
[pid=11081/tid=11082] ppid=11079 vsize=28768336 memory=2012 CPUtime=2.64 cores=0-7
/proc/11081/task/11082/stat : 11082 (java) S 11079 11079 11035 0 -1 1077944384 10571 0 0 0 255 9 0 0 20 0 28 0 446351836 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332650382464 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11083] ppid=11079 vsize=28768336 memory=1388 CPUtime=7.12 cores=0-7
/proc/11081/task/11083/stat : 11083 (java) S 11079 11079 11035 0 -1 1077944384 47638 0 0 0 691 21 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332565994512 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11084] ppid=11079 vsize=28768336 memory=776 CPUtime=7.15 cores=0-7
/proc/11081/task/11084/stat : 11084 (java) S 11079 11079 11035 0 -1 1077944384 39793 0 0 0 692 23 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332564941968 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11085] ppid=11079 vsize=28768336 memory=3992 CPUtime=7.09 cores=0-7
/proc/11081/task/11085/stat : 11085 (java) S 11079 11079 11035 0 -1 1077944384 33481 0 0 0 687 22 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332563888912 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11086] ppid=11079 vsize=28768336 memory=2828 CPUtime=7 cores=0-7
/proc/11081/task/11086/stat : 11086 (java) S 11079 11079 11035 0 -1 1077944384 50165 0 0 0 678 22 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332562836368 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11087] ppid=11079 vsize=28768336 memory=676 CPUtime=7.03 cores=0-7
/proc/11081/task/11087/stat : 11087 (java) S 11079 11079 11035 0 -1 1077944384 47857 0 0 0 679 24 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332561783312 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11088] ppid=11079 vsize=28768336 memory=1060 CPUtime=7.03 cores=0-7
/proc/11081/task/11088/stat : 11088 (java) S 11079 11079 11035 0 -1 1077944384 41171 0 0 0 680 23 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332560730768 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11089] ppid=11079 vsize=28768336 memory=1548 CPUtime=7.13 cores=0-7
/proc/11081/task/11089/stat : 11089 (java) S 11079 11079 11035 0 -1 1077944384 44019 0 0 0 687 26 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332559677712 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11090] ppid=11079 vsize=28768336 memory=8560 CPUtime=7.13 cores=0-7
/proc/11081/task/11090/stat : 11090 (java) S 11079 11079 11035 0 -1 1077944384 40950 0 0 0 690 23 0 0 20 0 28 0 446351837 29458776064 597012 33554432000 4194304 4196468 140732093907232 140332558625168 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11091] ppid=11079 vsize=28768336 memory=1668 CPUtime=2.69 cores=0-7
/proc/11081/task/11091/stat : 11091 (java) S 11079 11079 11035 0 -1 1077944384 184642 0 0 0 203 66 0 0 20 0 28 0 446351838 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330841819888 140332646152834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11092] ppid=11079 vsize=28768336 memory=1112 CPUtime=0 cores=0-7
/proc/11081/task/11092/stat : 11092 (java) S 11079 11079 11035 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446351839 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330840766176 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11093] ppid=11079 vsize=28768336 memory=1004 CPUtime=0 cores=0-7
/proc/11081/task/11093/stat : 11093 (java) S 11079 11079 11035 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 446351839 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330839713024 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11094] ppid=11079 vsize=28768336 memory=6036 CPUtime=0 cores=0-7
/proc/11081/task/11094/stat : 11094 (java) S 11079 11079 11035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446351841 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330838661584 140332646160283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11095] ppid=11079 vsize=28768336 memory=14008 CPUtime=3.13 cores=0-7
/proc/11081/task/11095/stat : 11095 (java) S 11079 11079 11035 0 -1 1077944384 18799 0 0 0 310 3 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330837608688 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11096] ppid=11079 vsize=28768336 memory=2124 CPUtime=3.4 cores=0-7
/proc/11081/task/11096/stat : 11096 (java) S 11079 11079 11035 0 -1 1077944384 25461 0 0 0 337 3 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330836556144 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11097] ppid=11079 vsize=28768336 memory=26348 CPUtime=3.36 cores=0-7
/proc/11081/task/11097/stat : 11097 (java) S 11079 11079 11035 0 -1 1077944384 20767 0 0 0 331 5 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330835503088 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11098] ppid=11079 vsize=28768336 memory=12024 CPUtime=1 cores=0-7
/proc/11081/task/11098/stat : 11098 (java) S 11079 11079 11035 0 -1 1077944384 22718 0 0 0 96 4 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330834450544 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11099] ppid=11079 vsize=28768336 memory=500 CPUtime=0 cores=0-7
/proc/11081/task/11099/stat : 11099 (java) S 11079 11079 11035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330833398752 140332646151893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11100] ppid=11079 vsize=28768336 memory=1560 CPUtime=0.78 cores=0-7
/proc/11081/task/11100/stat : 11100 (java) S 11079 11079 11035 0 -1 1077944384 8735 0 0 0 40 38 0 0 20 0 28 0 446351842 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330832346288 140332646152834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11141] ppid=11079 vsize=28768336 memory=932 CPUtime=2500.46 cores=0-7
/proc/11081/task/11141/stat : 11141 (java) R 11079 11079 11035 0 -1 4202560 76316 0 0 0 250015 31 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330823126680 140332630518713 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11142] ppid=11079 vsize=28768336 memory=3768 CPUtime=2496.29 cores=0-7
/proc/11081/task/11142/stat : 11142 (java) R 11079 11079 11035 0 -1 4202560 31185 0 0 0 249604 25 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330822075200 140332236373136 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11143] ppid=11079 vsize=28768336 memory=1980 CPUtime=2493.91 cores=0-7
/proc/11081/task/11143/stat : 11143 (java) R 11079 11079 11035 0 -1 4202560 29404 0 0 0 249361 30 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330817864264 140332236372964 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11144] ppid=11079 vsize=28768336 memory=1456 CPUtime=2496.17 cores=0-7
/proc/11081/task/11144/stat : 11144 (java) R 11079 11079 11035 0 -1 4202560 78002 0 0 0 249368 249 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330818916496 140332243905861 0 4 0 16800975 0 0 0 -1 0 0 0 22 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11145] ppid=11079 vsize=28768336 memory=1456 CPUtime=2492.75 cores=0-7
/proc/11081/task/11145/stat : 11145 (java) R 11079 11079 11035 0 -1 4202560 28899 0 0 0 249235 40 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330821021376 140332242826564 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11146] ppid=11079 vsize=28768336 memory=2388560 CPUtime=2493.04 cores=0-7
/proc/11081/task/11146/stat : 11146 (java) R 11079 11079 11035 0 -1 4202560 39693 0 0 0 249235 69 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330816813664 140332243906054 0 4 0 16800975 0 0 0 -1 4 0 0 23 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11147] ppid=11079 vsize=28768336 memory=1456 CPUtime=2496.28 cores=0-7
/proc/11081/task/11147/stat : 11147 (java) R 11079 11079 11035 0 -1 4202560 50089 0 0 0 249488 140 0 0 20 0 28 0 446352167 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330819969656 140332242826509 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
[pid=11081/tid=11148] ppid=11079 vsize=28768336 memory=2389072 CPUtime=2495.72 cores=0-7
/proc/11081/task/11148/stat : 11148 (java) R 11079 11079 11035 0 -1 4202560 29936 0 0 0 249548 24 0 0 20 0 28 0 446352168 29458776064 597012 33554432000 4194304 4196468 140732093907232 140330815759560 140332243905992 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 12443648 140732093912042 140732093912214 140732093912214 140732093915087 0
Current children cumulated CPU time: 20041.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2389504 KiB

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

[startup+2520.04 s]
# the end of solver process 11079 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000818 s, system=0.001636 s

[startup+2520.11 s]
# the end of solver process 11081 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20033.4 s, system=8.81149 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): 2520.11
CPU time (s): 20042.2
CPU user time (s): 20033.4
CPU system time (s): 8.81149
CPU usage (%): 795.291
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3417616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20033.4
system time used= 8.81149
maximum resident set size= 3418804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1003499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203458
involuntary context switches= 233432


# summary of solver processes directly reported to runsolver:
#   pid: 11079,11081
#   total CPU time (s): 20042.2
#   total CPU user time (s): 20033.4
#   total CPU system time (s): 8.81149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.1594 second user time and 27.7735 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	29.6788
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400006

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
