2017 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 5a (2017-07-26)	SAT (TO)	25	2520.05	2479.1201
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 (15237 MiB free)
  memory of node 1: 16384 MiB (13618 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272054-1502711974/watcher-4272054-1502711974 -o /tmp/evaluation-result-4272054-1502711974/solver-4272054-1502711974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1809924171 HOME/instance-4272054-1502711974.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100191 s]*
/proc/loadavg: 1.76 1.74 1.69 3/204 9813
/proc/meminfo: memFree=29542508/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13507920 memory=15960 CPUtime=0.01 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 3786 0 0 0 1 0 0 0 20 0 8 0 25080062 13832110080 3988 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3376980 3990 2026 1 0 3366477 0
[pid=9808/tid=9809] ppid=9806 vsize=13507920 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 2561 0 0 0 1 0 0 0 20 0 8 0 25080062 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140672045437360 140672025277790 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13507920 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 25080063 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13507920 memory=139799319213696 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 25080063 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 25080063 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 25080063 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 25080064 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 25080065 13832110080 4056 18446744073709551615 4194304 4196468 140726593000064 140671518228432 140672041207509 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17336 KiB

[startup+0.210095 s]*
/proc/loadavg: 1.76 1.74 1.69 3/213 9822
/proc/meminfo: memFree=29532596/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13974352 memory=27944 CPUtime=0.1 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 5411 0 0 0 9 1 0 0 20 0 15 0 25080062 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3493588 6986 2829 1 0 3482964 0
[pid=9808/tid=9809] ppid=9806 vsize=13974352 memory=7078076838863583841 CPUtime=0.09 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 3433 0 0 0 8 1 0 0 20 0 15 0 25080062 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140672045425536 140672041219229 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13974352 memory=139799319213696 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13974352 memory=139799319213696 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25080064 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25080065 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671518229536 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25080065 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671517176688 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 25080067 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 25080067 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13974352 memory=139799319213696 CPUtime=0.01 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 25080067 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13974352 memory=139799319213696 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080072 14309736448 6986 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29320 KiB

[startup+0.310496 s]*
/proc/loadavg: 1.76 1.74 1.69 4/213 9822
/proc/meminfo: memFree=29522520/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13974352 memory=39216 CPUtime=0.3 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 8895 0 0 0 27 3 0 0 20 0 15 0 25080062 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3493588 9804 3028 1 0 3482964 0
[pid=9808/tid=9809] ppid=9806 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 6120 0 0 0 16 2 0 0 20 0 15 0 25080062 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140672045435360 140671672899769 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13974352 memory=1404226546319204233 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13974352 memory=4209341120607117666 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25080063 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25080064 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25080065 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671518229536 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25080065 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671517176688 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 25080067 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 25080067 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) R 9806 9806 7968 0 -1 4202560 718 0 0 0 6 0 0 0 20 0 15 0 25080067 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671512965584 140672020137234 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080072 14309736448 9804 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40592 KiB

[startup+0.701469 s]
/proc/loadavg: 1.76 1.74 1.69 5/213 9822
/proc/meminfo: memFree=29503504/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13978684 memory=82044 CPUtime=1.34 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 13110 0 0 0 128 6 0 0 20 0 15 0 25080062 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3494671 20511 3165 1 0 3482964 0
[pid=9808/tid=9809] ppid=9806 vsize=13978684 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 7811 0 0 0 53 3 0 0 20 0 15 0 25080062 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140672045431280 140671674683927 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13978684 memory=5 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080063 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13978684 memory=36 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25080063 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25080064 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25080065 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671518229536 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13978684 memory=7883313791582089521 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25080065 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671517176688 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13978684 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13978684 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) R 9806 9806 7968 0 -1 4202560 1172 0 0 0 24 0 0 0 20 0 15 0 25080067 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671515066496 140672027221185 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13978684 memory=139799172227696 CPUtime=0.24 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) R 9806 9806 7968 0 -1 4202560 1208 0 0 0 24 0 0 0 20 0 15 0 25080067 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671514020720 140672019173719 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 1612 0 0 0 27 0 0 0 20 0 15 0 25080067 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25080072 14314172416 20511 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83420 KiB

[startup+1.50081 s]
/proc/loadavg: 1.76 1.74 1.69 6/213 9822
/proc/meminfo: memFree=29408696/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13980732 memory=198872 CPUtime=3.7 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 22147 0 0 0 361 9 0 0 20 0 15 0 25080062 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3495183 49718 3228 1 0 3483476 0
[pid=9808/tid=9809] ppid=9806 vsize=13980732 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 9823 0 0 0 129 5 0 0 20 0 15 0 25080062 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140672045436800 140671671370441 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 15 0 25080063 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 25080063 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 15 0 25080063 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13980732 memory=20825 CPUtime=0.01 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 25080063 14316269568 49718 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671517176704 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13980732 memory=258456 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13980732 memory=258456 CPUtime=4.62 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 15475 0 0 0 459 3 0 0 20 0 15 0 25080067 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13980732 memory=1376 CPUtime=4.28 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 16195 0 0 0 426 2 0 0 20 0 15 0 25080067 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13980732 memory=253832 CPUtime=0.9 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 12218 0 0 0 87 3 0 0 20 0 15 0 25080067 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13980732 memory=6944656592455097440 CPUtime=1.05 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 937 0 0 0 52 53 0 0 20 0 15 0 25080072 14316269568 63458 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 2421.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 255208 KiB

[startup+2442.3 s]
/proc/loadavg: 1.19 1.27 1.41 3/213 10170
/proc/meminfo: memFree=28662088/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13980732 memory=259200 CPUtime=2482.63 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 177011 0 0 0 248088 175 0 0 20 0 15 0 25080062 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3495183 64800 3270 1 0 3483476 0
[pid=9808/tid=9809] ppid=9806 vsize=13980732 memory=259200 CPUtime=2428.21 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 38804 0 0 0 242804 17 0 0 20 0 15 0 25080062 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140672045437040 140671678989199 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13980732 memory=259200 CPUtime=10.41 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 10834 0 0 0 1017 24 0 0 20 0 15 0 25080063 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13980732 memory=259200 CPUtime=10.37 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 13155 0 0 0 1013 24 0 0 20 0 15 0 25080063 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.41 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 13955 0 0 0 1016 25 0 0 20 0 15 0 25080063 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.39 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 17977 0 0 0 1016 23 0 0 20 0 15 0 25080063 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13980732 memory=259200 CPUtime=1.88 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 36064 0 0 0 171 17 0 0 20 0 15 0 25080064 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13980732 memory=257120 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671518229600 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13980732 memory=259200 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671517176704 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13980732 memory=1376 CPUtime=4.62 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 15475 0 0 0 459 3 0 0 20 0 15 0 25080067 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13980732 memory=251800 CPUtime=4.28 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 16195 0 0 0 426 2 0 0 20 0 15 0 25080067 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13980732 memory=259200 CPUtime=0.9 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 12218 0 0 0 87 3 0 0 20 0 15 0 25080067 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13980732 memory=259200 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13980732 memory=259200 CPUtime=1.08 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 941 0 0 0 54 54 0 0 20 0 15 0 25080072 14316269568 64800 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 2482.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2479.11 s]
/proc/loadavg: 1.20 1.27 1.41 3/213 10173
/proc/meminfo: memFree=28665468/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13980732 memory=266032 CPUtime=2520.03 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 179145 0 0 0 251825 178 0 0 20 0 15 0 25080062 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3495183 66508 3270 1 0 3483476 0
[pid=9808/tid=9809] ppid=9806 vsize=13980732 memory=266032 CPUtime=2464.75 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 38964 0 0 0 246458 17 0 0 20 0 15 0 25080062 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140672045436784 140671680348399 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.6 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 11077 0 0 0 1036 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.56 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 13395 0 0 0 1032 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.61 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 14237 0 0 0 1036 25 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13980732 memory=266032 CPUtime=10.59 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 18249 0 0 0 1035 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13980732 memory=266032 CPUtime=1.92 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 36981 0 0 0 175 17 0 0 20 0 15 0 25080064 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671518229600 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13980732 memory=266032 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671517176704 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13980732 memory=266392 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13980732 memory=259272 CPUtime=4.62 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 15477 0 0 0 459 3 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13980732 memory=1000 CPUtime=4.28 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 16197 0 0 0 426 2 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13980732 memory=2012 CPUtime=0.9 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 12220 0 0 0 87 3 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13980732 memory=266032 CPUtime=1.1 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 955 0 0 0 55 55 0 0 20 0 15 0 25080072 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 267408 KiB

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

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

[startup+2479.12 s]
# the end of solver process 9808 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.27 s, system=1.78572 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

[startup+2479.11 s]
/proc/loadavg: 1.20 1.27 1.41 3/213 10173
/proc/meminfo: memFree=28665468/32770624 swapFree=67108860/67108860
[pid=9806] ppid=9803 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9806/stat : 9806 (xcsp3-exec) S 9803 9806 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 25080054 9740288 344 18446744073709551615 4194304 5098028 140721239407792 140721239405896 139780929569404 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 12890112 140721239413113 140721239413318 140721239413318 140721239416811 0
/proc/9806/statm: 2378 344 289 221 0 87 0
[pid=9808] ppid=9806 vsize=13980732 memory=266032 CPUtime=2520.03 cores=0,2,4,6
/proc/9808/stat : 9808 (java) S 9806 9806 7968 0 -1 1077944320 179145 0 0 0 251825 178 0 0 20 0 15 0 25080062 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140726592982608 140672041197303 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
/proc/9808/statm: 3495183 66508 3270 1 0 3483476 0
[pid=9808/tid=9809] ppid=9806 vsize=13980732 memory=266032 CPUtime=2464.75 cores=0,2,4,6
/proc/9808/task/9809/stat : 9809 (java) R 9806 9806 7968 0 -1 4202560 38964 0 0 0 246458 17 0 0 20 0 15 0 25080062 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140672045436784 140671680348399 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9810] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.6 cores=0,2,4,6
/proc/9808/task/9810/stat : 9810 (java) S 9806 9806 7968 0 -1 1077944384 11077 0 0 0 1036 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671998164112 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9811] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.56 cores=0,2,4,6
/proc/9808/task/9811/stat : 9811 (java) S 9806 9806 7968 0 -1 1077944384 13395 0 0 0 1032 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671997111312 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9812] ppid=9806 vsize=13980732 memory=1376 CPUtime=10.61 cores=0,2,4,6
/proc/9808/task/9812/stat : 9812 (java) S 9806 9806 7968 0 -1 1077944384 14237 0 0 0 1036 25 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671996058512 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9813] ppid=9806 vsize=13980732 memory=266032 CPUtime=10.59 cores=0,2,4,6
/proc/9808/task/9813/stat : 9813 (java) S 9806 9806 7968 0 -1 1077944384 18249 0 0 0 1035 24 0 0 20 0 15 0 25080063 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671995005712 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9814] ppid=9806 vsize=13980732 memory=266032 CPUtime=1.92 cores=0,2,4,6
/proc/9808/task/9814/stat : 9814 (java) S 9806 9806 7968 0 -1 1077944384 36981 0 0 0 175 17 0 0 20 0 15 0 25080064 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671519283568 140672041208450 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9815] ppid=9806 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9815/stat : 9815 (java) S 9806 9806 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671518229600 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9816] ppid=9806 vsize=13980732 memory=266032 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9816/stat : 9816 (java) S 9806 9806 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 25080065 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671517176704 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9817] ppid=9806 vsize=13980732 memory=266392 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9817/stat : 9817 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671516125008 140672041215899 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9818] ppid=9806 vsize=13980732 memory=259272 CPUtime=4.62 cores=0,2,4,6
/proc/9808/task/9818/stat : 9818 (java) S 9806 9806 7968 0 -1 1077944384 15477 0 0 0 459 3 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671515073392 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9819] ppid=9806 vsize=13980732 memory=1000 CPUtime=4.28 cores=0,2,4,6
/proc/9808/task/9819/stat : 9819 (java) S 9806 9806 7968 0 -1 1077944384 16197 0 0 0 426 2 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671514020592 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9820] ppid=9806 vsize=13980732 memory=2012 CPUtime=0.9 cores=0,2,4,6
/proc/9808/task/9820/stat : 9820 (java) S 9806 9806 7968 0 -1 1077944384 12220 0 0 0 87 3 0 0 20 0 15 0 25080067 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671512967792 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9821] ppid=9806 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9808/task/9821/stat : 9821 (java) S 9806 9806 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25080068 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671511915232 140672041207509 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
[pid=9808/tid=9822] ppid=9806 vsize=13980732 memory=266032 CPUtime=1.1 cores=0,2,4,6
/proc/9808/task/9822/stat : 9822 (java) S 9806 9806 7968 0 -1 1077944384 955 0 0 0 55 55 0 0 20 0 15 0 25080072 14316269568 66508 18446744073709551615 4194304 4196468 140726593000064 140671510862512 140672041208450 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140726593008050 140726593008226 140726593008226 140726593011663 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 267408 KiB

Child status: 143
Real time (s): 2479.12
CPU time (s): 2520.05
CPU user time (s): 2518.27
CPU system time (s): 1.78572
CPU usage (%): 101.651
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 472684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.27
system time used= 1.78572
maximum resident set size= 490164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97231
involuntary context switches= 5897


# summary of solver processes directly reported to runsolver:
#   pid: 9806,9808
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.27
#   total CPU system time (s): 1.78572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9563 second user time and 22.0991 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	25
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4272054

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
