2019 XCSP3 competition: fast COP track (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)	7	1998.13	252.112
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 (14813 MiB free)
  memory of node 1: 16384 MiB (15657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400232-1568710053/watcher-4400232-1568710053 -o /tmp/evaluation-result-4400232-1568710053/solver-4400232-1568710053 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1691996612 HOME/instance-4400232-1568710053.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=5321, runsolver pid=5318
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 8.26 7.97 7.41 2/210 5342
/proc/meminfo: memFree=31185096/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28227396 memory=29216 CPUtime=0.12 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 5701 0 0 0 10 2 0 0 20 0 20 0 447262380 28904853504 7304 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7056849 7304 3144 1 0 7019032 0
[pid=5323/tid=5324] ppid=5321 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) R 5321 5321 1890 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 20 0 447262381 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830106104704 139830101888406 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28227396 memory=14271181968041624 CPUtime=0 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5328] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5328/stat : 5328 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830051339408 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5329] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5329/stat : 5329 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830050285840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5330] ppid=5321 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5330/stat : 5330 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830049233296 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5331] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5331/stat : 5331 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830048180752 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5332] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5332/stat : 5332 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 7304 33554432000 4194304 4196468 140722884820032 139830047128208 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5333] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5333/stat : 5333 (java) S 5321 5321 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447262383 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829083924976 139830101887618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5334] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5334/stat : 5334 (java) S 5321 5321 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447262383 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829082871200 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5335] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5335/stat : 5335 (java) S 5321 5321 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447262384 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829081818608 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5336] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5336/stat : 5336 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829080767184 139830101895067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5337] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5337/stat : 5337 (java) S 5321 5321 1890 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829079713776 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5338] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5338/stat : 5338 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829078661232 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5339] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5339/stat : 5339 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829077608688 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5340] ppid=5321 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5323/task/5340/stat : 5340 (java) R 5321 5321 1890 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829076556144 139830101897818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5341] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5341/stat : 5341 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829075503840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5342] ppid=5321 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5342/stat : 5342 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262387 28904853504 7304 33554432000 4194304 4196468 140722884820032 139829074451376 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30664 KiB

[startup+0.21018 s]*
/proc/loadavg: 8.26 7.97 7.41 3/210 5342
/proc/meminfo: memFree=31170988/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28227396 memory=40756 CPUtime=0.34 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 9512 0 0 0 30 4 0 0 20 0 20 0 447262380 28904853504 10189 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7056849 10189 3260 1 0 7019032 0
[pid=5323/tid=5324] ppid=5321 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) R 5321 5321 1890 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 447262381 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830106111168 139830101897818 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28227396 memory=140038578313852 CPUtime=0 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5328] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5328/stat : 5328 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830051339408 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5329] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5329/stat : 5329 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830050285840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5330] ppid=5321 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5330/stat : 5330 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830049233296 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5331] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5331/stat : 5331 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830048180752 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5332] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5332/stat : 5332 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28904853504 10189 33554432000 4194304 4196468 140722884820032 139830047128208 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5333] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5333/stat : 5333 (java) S 5321 5321 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447262383 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829083924976 139830101887618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5334] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5334/stat : 5334 (java) S 5321 5321 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447262383 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829082871200 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5335] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5335/stat : 5335 (java) S 5321 5321 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447262384 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829081818608 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5336] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5336/stat : 5336 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829080767184 139830101895067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5337] ppid=5321 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5323/task/5337/stat : 5337 (java) S 5321 5321 1890 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829079713776 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5338] ppid=5321 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5323/task/5338/stat : 5338 (java) S 5321 5321 1890 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829078661232 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5339] ppid=5321 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/5323/task/5339/stat : 5339 (java) S 5321 5321 1890 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829077608688 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5340] ppid=5321 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/5323/task/5340/stat : 5340 (java) R 5321 5321 1890 0 -1 4202560 776 0 0 0 7 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829076556144 139830085956958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5341] ppid=5321 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5341/stat : 5341 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262386 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829075503840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5342] ppid=5321 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5342/stat : 5342 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262387 28904853504 10189 33554432000 4194304 4196468 140722884820032 139829074451376 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42204 KiB

[startup+0.309481 s]*
/proc/loadavg: 8.26 7.97 7.41 5/210 5343
/proc/meminfo: memFree=31164176/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28231652 memory=50120 CPUtime=0.52 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 10872 0 0 0 47 5 0 0 20 0 20 0 447262380 28909211648 12530 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7057913 12530 3359 1 0 7019032 0
[pid=5323/tid=5324] ppid=5321 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) R 5321 5321 1890 0 -1 4202560 7759 0 0 0 26 3 0 0 20 0 20 0 447262381 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830106110256 139830085956958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5328] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5328/stat : 5328 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830051339408 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5329] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5329/stat : 5329 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830050285840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5330] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5330/stat : 5330 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830049233296 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5331] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5331/stat : 5331 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830048180752 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5332] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5332/stat : 5332 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28909211648 12530 33554432000 4194304 4196468 140722884820032 139830047128208 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5333] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5333/stat : 5333 (java) S 5321 5321 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447262383 28909211648 12530 33554432000 4194304 4196468 140722884820032 139829083924976 139830101887618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5334] ppid=5321 vsize=28231652 memory=280076830842240 CPUtime=0 cores=0-7
/proc/5323/task/5334/stat : 5334 (java) S 5321 5321 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447262383 28909211648 12530 33554432000 4194304 4196468 140722884820032 139829082871200 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5335] ppid=5321 vsize=28231652 memory=280076830846848 CPUtime=0 cores=0-7
/proc/5323/task/5335/stat : 5335 (java) S 5321 5321 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447262384 28909211648 12530 33554432000 4194304 4196468 140722884820032 139829081818608 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5336] ppid=5321 vsize=28231652 memory=280076830851456 CPUtime=0 cores=0-7
/proc/5323/task/5336/stat : 5336 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262386 28909211648 12530 33554432000 4194304 4196468 140722884820032 139829080767184 139830101895067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5337] ppid=5321 vsize=28231652 memory=280076830856064 CPUtime=0.02 cores=0-7
/proc/5323/task/5337/stat : 5337 (java) S 5321 5321 1890 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 20 0 447262386 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829079713776 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5338] ppid=5321 vsize=28231652 memory=280076830860672 CPUtime=0.02 cores=0-7
/proc/5323/task/5338/stat : 5338 (java) S 5321 5321 1890 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 447262386 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829078661232 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5339] ppid=5321 vsize=28231652 memory=280076830865280 CPUtime=0.03 cores=0-7
/proc/5323/task/5339/stat : 5339 (java) R 5321 5321 1890 0 -1 4202560 172 0 0 0 3 0 0 0 20 0 20 0 447262386 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829077599072 139830085261340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5340] ppid=5321 vsize=28231652 memory=280076830869888 CPUtime=0.12 cores=0-7
/proc/5323/task/5340/stat : 5340 (java) S 5321 5321 1890 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 20 0 447262386 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829076556144 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5341] ppid=5321 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5341/stat : 5341 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262386 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829075503840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5342] ppid=5321 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5323/task/5342/stat : 5342 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262387 28909211648 12562 33554432000 4194304 4196468 140722884820032 139829074451376 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51568 KiB

[startup+0.700894 s]
/proc/loadavg: 8.26 7.97 7.41 4/210 5343
/proc/meminfo: memFree=31144016/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28233776 memory=107528 CPUtime=1.94 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 15537 0 0 0 188 6 0 0 20 0 20 0 447262380 28911386624 26882 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7058444 26882 3449 1 0 7019544 0
[pid=5323/tid=5324] ppid=5321 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) R 5321 5321 1890 0 -1 4202560 8450 0 0 0 63 4 0 0 20 0 20 0 447262381 28911386624 26882 33554432000 4194304 4196468 140722884820032 139830106113824 139830101888406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447262382 28911386624 26882 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447262382 28911386624 26882 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447262382 28911386624 26882 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0

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

[pid=5323/tid=5402] ppid=5321 vsize=28768336 memory=0 CPUtime=107.44 cores=0-7
/proc/5323/task/5402/stat : 5402 (java) R 5321 5321 1890 0 -1 4202560 4581 0 0 0 10726 18 0 0 20 0 28 0 447267848 29458776064 560850 33554432000 4194304 4196468 140722884820032 139829061022424 139829734516491 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 1281.99 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2244848 KiB

[startup+222.301 s]
/proc/loadavg: 8.15 8.00 7.54 10/219 5421
/proc/meminfo: memFree=28964112/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28768336 memory=2248868 CPUtime=1760.49 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 193830 0 0 0 175840 209 0 0 20 0 28 0 447262380 29458776064 562217 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7192084 562217 3550 1 0 7153184 0
[pid=5323/tid=5324] ppid=5321 vsize=28768336 memory=2248868 CPUtime=2.27 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) S 5321 5321 1890 0 -1 1077944384 11520 0 0 0 219 8 0 0 20 0 28 0 447262381 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830106117248 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.15 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 1877 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.16 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3037 0 0 0 11 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28768336 memory=47928 CPUtime=0.14 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 953 0 0 0 10 4 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5328] ppid=5321 vsize=28768336 memory=988 CPUtime=0.15 cores=0-7
/proc/5323/task/5328/stat : 5328 (java) S 5321 5321 1890 0 -1 1077944384 984 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830051339408 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5329] ppid=5321 vsize=28768336 memory=1716 CPUtime=0.15 cores=0-7
/proc/5323/task/5329/stat : 5329 (java) S 5321 5321 1890 0 -1 1077944384 1519 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830050285840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5330] ppid=5321 vsize=28768336 memory=692 CPUtime=0.15 cores=0-7
/proc/5323/task/5330/stat : 5330 (java) S 5321 5321 1890 0 -1 1077944384 1321 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830049233296 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5331] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.15 cores=0-7
/proc/5323/task/5331/stat : 5331 (java) S 5321 5321 1890 0 -1 1077944384 1622 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830048180752 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5332] ppid=5321 vsize=28768336 memory=2244824 CPUtime=0.16 cores=0-7
/proc/5323/task/5332/stat : 5332 (java) S 5321 5321 1890 0 -1 1077944384 3353 0 0 0 11 5 0 0 20 0 28 0 447262382 29458776064 562217 33554432000 4194304 4196468 140722884820032 139830047128208 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5333] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.05 cores=0-7
/proc/5323/task/5333/stat : 5333 (java) S 5321 5321 1890 0 -1 1077944384 6005 0 0 0 4 1 0 0 20 0 28 0 447262383 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829083924976 139830101887618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5334] ppid=5321 vsize=28768336 memory=2244824 CPUtime=0 cores=0-7
/proc/5323/task/5334/stat : 5334 (java) S 5321 5321 1890 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447262383 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829082871264 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5335] ppid=5321 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/5323/task/5335/stat : 5335 (java) S 5321 5321 1890 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 447262384 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829081818624 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5336] ppid=5321 vsize=28768336 memory=2244824 CPUtime=0 cores=0-7
/proc/5323/task/5336/stat : 5336 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829080767184 139830101895067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5337] ppid=5321 vsize=28768336 memory=167 CPUtime=4.04 cores=0-7
/proc/5323/task/5337/stat : 5337 (java) S 5321 5321 1890 0 -1 1077944384 20475 0 0 0 402 2 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829079713776 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5338] ppid=5321 vsize=28768336 memory=715 CPUtime=4.13 cores=0-7
/proc/5323/task/5338/stat : 5338 (java) S 5321 5321 1890 0 -1 1077944384 26770 0 0 0 409 4 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829078661232 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5339] ppid=5321 vsize=28768336 memory=1448 CPUtime=4.42 cores=0-7
/proc/5323/task/5339/stat : 5339 (java) S 5321 5321 1890 0 -1 1077944384 29839 0 0 0 437 5 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829077608688 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5340] ppid=5321 vsize=28768336 memory=2244820 CPUtime=0.94 cores=0-7
/proc/5323/task/5340/stat : 5340 (java) S 5321 5321 1890 0 -1 1077944384 14836 0 0 0 91 3 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829076556144 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5341] ppid=5321 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/5323/task/5341/stat : 5341 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447262386 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829075503840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5342] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.07 cores=0-7
/proc/5323/task/5342/stat : 5342 (java) S 5321 5321 1890 0 -1 1077944384 3856 0 0 0 2 5 0 0 20 0 28 0 447262387 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829074451376 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5395] ppid=5321 vsize=28768336 memory=3616 CPUtime=167.23 cores=0-7
/proc/5323/task/5395/stat : 5395 (java) R 5321 5321 1890 0 -1 4202560 8320 0 0 0 16717 6 0 0 20 0 28 0 447267847 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829057864896 139829725064270 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5396] ppid=5321 vsize=28768336 memory=4104 CPUtime=166.99 cores=0-7
/proc/5323/task/5396/stat : 5396 (java) R 5321 5321 1890 0 -1 4202560 1447 0 0 0 16699 0 0 0 20 0 28 0 447267847 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829065233128 139830082701076 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5397] ppid=5321 vsize=28768336 memory=-8961168018402230209 CPUtime=166.63 cores=0-7
/proc/5323/task/5397/stat : 5397 (java) R 5321 5321 1890 0 -1 4202560 11524 0 0 0 16641 22 0 0 20 0 28 0 447267847 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829059968792 139829734521280 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5398] ppid=5321 vsize=28768336 memory=-8253362762722141311 CPUtime=167.07 cores=0-7
/proc/5323/task/5398/stat : 5398 (java) R 5321 5321 1890 0 -1 4202560 9955 0 0 0 16684 23 0 0 20 0 28 0 447267847 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829058916248 139829725250277 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5399] ppid=5321 vsize=28768336 memory=1448 CPUtime=165.92 cores=0-7
/proc/5323/task/5399/stat : 5399 (java) R 5321 5321 1890 0 -1 4202560 1515 0 0 0 16592 0 0 0 20 0 28 0 447267847 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829063127656 139829729098711 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5400] ppid=5321 vsize=28768336 memory=1716 CPUtime=167.22 cores=0-7
/proc/5323/task/5400/stat : 5400 (java) R 5321 5321 1890 0 -1 4202560 4504 0 0 0 16716 6 0 0 20 0 28 0 447267848 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829062074112 139829729641256 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5401] ppid=5321 vsize=28768336 memory=692 CPUtime=166.25 cores=0-7
/proc/5323/task/5401/stat : 5401 (java) R 5321 5321 1890 0 -1 4202560 4118 0 0 0 16615 10 0 0 20 0 28 0 447267848 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829064180072 139829729641353 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5402] ppid=5321 vsize=28768336 memory=1056 CPUtime=167.37 cores=0-7
/proc/5323/task/5402/stat : 5402 (java) R 5321 5321 1890 0 -1 4202560 5013 0 0 0 16719 18 0 0 20 0 28 0 447267848 29458776064 562217 33554432000 4194304 4196468 140722884820032 139829061021816 139829725063911 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 1760.49 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2250316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.09 8.00 7.56 10/219 5424
/proc/meminfo: memFree=28961840/32770624 swapFree=66977424/67108860
[pid=5321] ppid=5318 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5321/stat : 5321 (xcsp3-exec) S 5318 5321 1890 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447262380 115843072 362 33554432000 4194304 5098028 140721888722784 140721888720888 139982323901052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26923008 140721888732027 140721888732270 140721888732270 140721888735178 0
/proc/5321/statm: 28282 362 304 221 0 87 0
[pid=5323] ppid=5321 vsize=28768336 memory=2251340 CPUtime=1997.46 cores=0-7
/proc/5323/stat : 5323 (java) S 5321 5321 1890 0 -1 1077944320 196103 0 0 0 199533 213 0 0 20 0 28 0 447262380 29458776064 562835 33554432000 4194304 4196468 140722884820032 140722884802576 139830101876471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
/proc/5323/statm: 7192084 562835 3550 1 0 7153184 0
[pid=5323/tid=5324] ppid=5321 vsize=28768336 memory=8317482817917895235 CPUtime=2.27 cores=0-7
/proc/5323/task/5324/stat : 5324 (java) S 5321 5321 1890 0 -1 1077944384 11520 0 0 0 219 8 0 0 20 0 28 0 447262381 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830106117248 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5325] ppid=5321 vsize=28768336 memory=1408 CPUtime=0.16 cores=0-7
/proc/5323/task/5325/stat : 5325 (java) S 5321 5321 1890 0 -1 1077944384 2203 0 0 0 11 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830054497040 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5326] ppid=5321 vsize=28768336 memory=3524 CPUtime=0.17 cores=0-7
/proc/5323/task/5326/stat : 5326 (java) S 5321 5321 1890 0 -1 1077944384 3087 0 0 0 12 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830053444496 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5327] ppid=5321 vsize=28768336 memory=1448 CPUtime=0.16 cores=0-7
/proc/5323/task/5327/stat : 5327 (java) S 5321 5321 1890 0 -1 1077944384 988 0 0 0 11 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830052391952 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5328] ppid=5321 vsize=28768336 memory=2251340 CPUtime=0.15 cores=0-7
/proc/5323/task/5328/stat : 5328 (java) S 5321 5321 1890 0 -1 1077944384 996 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830051339408 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5329] ppid=5321 vsize=28768336 memory=1164 CPUtime=0.16 cores=0-7
/proc/5323/task/5329/stat : 5329 (java) S 5321 5321 1890 0 -1 1077944384 1565 0 0 0 11 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830050285840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5330] ppid=5321 vsize=28768336 memory=1768 CPUtime=0.17 cores=0-7
/proc/5323/task/5330/stat : 5330 (java) S 5321 5321 1890 0 -1 1077944384 1351 0 0 0 11 6 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830049233296 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5331] ppid=5321 vsize=28768336 memory=111632 CPUtime=0.15 cores=0-7
/proc/5323/task/5331/stat : 5331 (java) S 5321 5321 1890 0 -1 1077944384 1823 0 0 0 10 5 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830048180752 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5332] ppid=5321 vsize=28768336 memory=6944656425123485561 CPUtime=0.17 cores=0-7
/proc/5323/task/5332/stat : 5332 (java) S 5321 5321 1890 0 -1 1077944384 3370 0 0 0 11 6 0 0 20 0 28 0 447262382 29458776064 562835 33554432000 4194304 4196468 140722884820032 139830047128208 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5333] ppid=5321 vsize=28768336 memory=-7531822216215551788 CPUtime=0.05 cores=0-7
/proc/5323/task/5333/stat : 5333 (java) S 5321 5321 1890 0 -1 1077944384 6277 0 0 0 4 1 0 0 20 0 28 0 447262383 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829083924976 139830101887618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5334] ppid=5321 vsize=28768336 memory=-4049636988374952755 CPUtime=0 cores=0-7
/proc/5323/task/5334/stat : 5334 (java) S 5321 5321 1890 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447262383 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829082871264 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5335] ppid=5321 vsize=28768336 memory=7682744562830902074 CPUtime=0 cores=0-7
/proc/5323/task/5335/stat : 5335 (java) S 5321 5321 1890 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 447262384 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829081818624 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5336] ppid=5321 vsize=28768336 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/5323/task/5336/stat : 5336 (java) S 5321 5321 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829080767184 139830101895067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5337] ppid=5321 vsize=28768336 memory=4137293581110450563 CPUtime=4.04 cores=0-7
/proc/5323/task/5337/stat : 5337 (java) S 5321 5321 1890 0 -1 1077944384 20478 0 0 0 402 2 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829079713776 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5338] ppid=5321 vsize=28768336 memory=8761640388318109335 CPUtime=4.13 cores=0-7
/proc/5323/task/5338/stat : 5338 (java) S 5321 5321 1890 0 -1 1077944384 26778 0 0 0 409 4 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829078661232 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5339] ppid=5321 vsize=28768336 memory=7016714190785702558 CPUtime=4.42 cores=0-7
/proc/5323/task/5339/stat : 5339 (java) S 5321 5321 1890 0 -1 1077944384 29842 0 0 0 437 5 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829077608688 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5340] ppid=5321 vsize=28768336 memory=7016714186490735262 CPUtime=0.94 cores=0-7
/proc/5323/task/5340/stat : 5340 (java) S 5321 5321 1890 0 -1 1077944384 14839 0 0 0 91 3 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829076556144 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5341] ppid=5321 vsize=28768336 memory=18299 CPUtime=0 cores=0-7
/proc/5323/task/5341/stat : 5341 (java) S 5321 5321 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447262386 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829075503840 139830101886677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5342] ppid=5321 vsize=28768336 memory=18248 CPUtime=0.08 cores=0-7
/proc/5323/task/5342/stat : 5342 (java) S 5321 5321 1890 0 -1 1077944384 3894 0 0 0 2 6 0 0 20 0 28 0 447262387 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829074451376 139830101887618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5395] ppid=5321 vsize=28768336 memory=18317 CPUtime=196.91 cores=0-7
/proc/5323/task/5395/stat : 5395 (java) R 5321 5321 1890 0 -1 4202560 8500 0 0 0 19685 6 0 0 20 0 28 0 447267847 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829057863608 139829725724893 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5396] ppid=5321 vsize=28768336 memory=2251340 CPUtime=196.55 cores=0-7
/proc/5323/task/5396/stat : 5396 (java) R 5321 5321 1890 0 -1 4202560 1504 0 0 0 19655 0 0 0 20 0 28 0 447267847 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829065232816 139829725724882 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5397] ppid=5321 vsize=28768336 memory=6048 CPUtime=195.83 cores=0-7
/proc/5323/task/5397/stat : 5397 (java) R 5321 5321 1890 0 -1 4202560 11808 0 0 0 19561 22 0 0 20 0 28 0 447267847 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829059969384 139829731853281 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5398] ppid=5321 vsize=28768336 memory=7552 CPUtime=196.76 cores=0-7
/proc/5323/task/5398/stat : 5398 (java) R 5321 5321 1890 0 -1 4202560 10223 0 0 0 19653 23 0 0 20 0 28 0 447267847 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829058916216 139829728671351 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5399] ppid=5321 vsize=28768336 memory=2832 CPUtime=195.62 cores=0-7
/proc/5323/task/5399/stat : 5399 (java) R 5321 5321 1890 0 -1 4202560 1568 0 0 0 19562 0 0 0 20 0 28 0 447267847 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829063127208 139829732394737 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5400] ppid=5321 vsize=28768336 memory=1084 CPUtime=196.9 cores=0-7
/proc/5323/task/5400/stat : 5400 (java) R 5321 5321 1890 0 -1 4202560 4625 0 0 0 19684 6 0 0 20 0 28 0 447267848 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829062074408 139829725724758 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5401] ppid=5321 vsize=28768336 memory=14012 CPUtime=195.94 cores=0-7
/proc/5323/task/5401/stat : 5401 (java) R 5321 5321 1890 0 -1 4202560 4257 0 0 0 19584 10 0 0 20 0 28 0 447267848 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829064182784 139829725064206 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
[pid=5323/tid=5402] ppid=5321 vsize=28768336 memory=14048 CPUtime=197.06 cores=0-7
/proc/5323/task/5402/stat : 5402 (java) R 5321 5321 1890 0 -1 4202560 5140 0 0 0 19687 19 0 0 20 0 28 0 447267848 29458776064 562835 33554432000 4194304 4196468 140722884820032 139829061022184 139829731408427 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36376576 140722884826096 140722884826267 140722884826267 140722884829135 0
Current children cumulated CPU time: 1997.46 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2252788 KiB

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

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

[startup+252.112 s]
# the end of solver process 5323 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1995.97 s, system=2.16214 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): 252.112
CPU time (s): 1998.13
CPU user time (s): 1995.97
CPU system time (s): 2.16214
CPU usage (%): 792.557
Max. virtual memory (cumulated for all children) (KiB): 28883264
Max. memory (cumulated for all children) (KiB): 2252788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.97
system time used= 2.16214
maximum resident set size= 2255524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12987
involuntary context switches= 22663


# summary of solver processes directly reported to runsolver:
#   pid: 5321,5323
#   total CPU time (s): 1998.13
#   total CPU user time (s): 1995.97
#   total CPU system time (s): 2.16214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36747 second user time and 2.73511 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	233.796
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400232

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
