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 4.0.5 par (2017-08-09)	SAT (TO)	40	20062.5	2520.1499
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 (13451 MiB free)
  memory of node 1: 16384 MiB (14603 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270588-1502679338/watcher-4270588-1502679338 -o /tmp/evaluation-result-4270588-1502679338/solver-4270588-1502679338 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502673407-21140 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 630362099 HOME/instance-4270588-1502679338.xml 

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

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


[startup+0.100111 s]*
/proc/loadavg: 5.06 6.90 7.43 3/200 22045
/proc/meminfo: memFree=28712356/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=25999808 memory=26768 CPUtime=0.12 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 20 0 101014738 26623803392 6692 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6499952 6692 2840 1 0 6488269 0
[pid=22026/tid=22027] ppid=22024 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) R 22024 22024 21113 0 -1 4202560 3638 0 0 0 8 0 0 0 20 0 20 0 101014738 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615082932656 140615062750565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=25999808 memory=139623200917120 CPUtime=0 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22031] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22031/stat : 22031 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615028169744 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22032] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22032/stat : 22032 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615027116432 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22033] ppid=22024 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22033/stat : 22033 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615026063632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22034] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22034/stat : 22034 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615025011344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22035] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22035/stat : 22035 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26623803392 6692 33554432000 4194304 4196468 140725810928048 140615023958544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22036] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22036/stat : 22036 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014741 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613350906480 140615078718082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22037] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22037/stat : 22037 (java) S 22024 22024 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101014741 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613349852448 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22038] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22038/stat : 22038 (java) S 22024 22024 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101014741 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613348800112 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22039] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22039/stat : 22039 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613347748432 140615078725531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22040] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22040/stat : 22040 (java) S 22024 22024 21113 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613346695280 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22041] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22041/stat : 22041 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613345642480 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22042] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22042/stat : 22042 (java) S 22024 22024 21113 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613344590192 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22043] ppid=22024 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22026/task/22043/stat : 22043 (java) S 22024 22024 21113 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613343537392 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22044] ppid=22024 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22044/stat : 22044 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613342485344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22045] ppid=22024 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22045/stat : 22045 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26623803392 6692 33554432000 4194304 4196468 140725810928048 140613341432624 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28152 KiB

[startup+0.210112 s]*
/proc/loadavg: 5.06 6.90 7.43 2/200 22045
/proc/meminfo: memFree=28700528/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=26004064 memory=38956 CPUtime=0.32 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 8295 0 0 0 30 2 0 0 20 0 20 0 101014738 26628161536 9739 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6501016 9739 3071 1 0 6488269 0
[pid=22026/tid=22027] ppid=22024 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) R 22024 22024 21113 0 -1 4202560 5420 0 0 0 18 1 0 0 20 0 20 0 101014738 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615082929840 140615078728861 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=26004064 memory=340 CPUtime=0 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=26004064 memory=139623201368375 CPUtime=0 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22031] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22031/stat : 22031 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615028169744 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22032] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22032/stat : 22032 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615027116432 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22033] ppid=22024 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22033/stat : 22033 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615026063632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22034] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22034/stat : 22034 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615025011344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22035] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22035/stat : 22035 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 9739 33554432000 4194304 4196468 140725810928048 140615023958544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22036] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22036/stat : 22036 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613350906480 140615078718082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22037] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22037/stat : 22037 (java) S 22024 22024 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613349852448 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22038] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22038/stat : 22038 (java) S 22024 22024 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613348800112 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22039] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22039/stat : 22039 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613347748432 140615078725531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22040] ppid=22024 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22026/task/22040/stat : 22040 (java) S 22024 22024 21113 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613346695280 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22041] ppid=22024 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22026/task/22041/stat : 22041 (java) S 22024 22024 21113 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613345642480 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22042] ppid=22024 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22042/stat : 22042 (java) S 22024 22024 21113 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613344590192 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22043] ppid=22024 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22026/task/22043/stat : 22043 (java) S 22024 22024 21113 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613343537392 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22044] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22044/stat : 22044 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613342485344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22045] ppid=22024 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22045/stat : 22045 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 9739 33554432000 4194304 4196468 140725810928048 140613341432624 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40340 KiB

[startup+0.309402 s]*
/proc/loadavg: 5.06 6.90 7.43 3/200 22045
/proc/meminfo: memFree=28697032/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=26004064 memory=43876 CPUtime=0.5 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 9235 0 0 0 47 3 0 0 20 0 20 0 101014738 26628161536 10969 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6501016 10969 3096 1 0 6488269 0
[pid=22026/tid=22027] ppid=22024 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) R 22024 22024 21113 0 -1 4202560 6094 0 0 0 27 2 0 0 20 0 20 0 101014738 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615082944920 140614696008020 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22031] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22031/stat : 22031 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615028169744 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22032] ppid=22024 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22026/task/22032/stat : 22032 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615027116432 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22033] ppid=22024 vsize=26004064 memory=139623078654895 CPUtime=0 cores=0-7
/proc/22026/task/22033/stat : 22033 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615026063632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22034] ppid=22024 vsize=26004064 memory=139623078657200 CPUtime=0 cores=0-7
/proc/22026/task/22034/stat : 22034 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615025011344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22035] ppid=22024 vsize=26004064 memory=139623078659504 CPUtime=0 cores=0-7
/proc/22026/task/22035/stat : 22035 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628161536 10969 33554432000 4194304 4196468 140725810928048 140615023958544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22036] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22036/stat : 22036 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613350906480 140615078718082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22037] ppid=22024 vsize=26004064 memory=279246157325968 CPUtime=0 cores=0-7
/proc/22026/task/22037/stat : 22037 (java) S 22024 22024 21113 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613349852448 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22038] ppid=22024 vsize=26004064 memory=279246157332880 CPUtime=0 cores=0-7
/proc/22026/task/22038/stat : 22038 (java) S 22024 22024 21113 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101014741 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613348800112 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22039] ppid=22024 vsize=26004064 memory=279246157274160 CPUtime=0 cores=0-7
/proc/22026/task/22039/stat : 22039 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613347748432 140615078725531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22040] ppid=22024 vsize=26004064 memory=279246157346704 CPUtime=0.01 cores=0-7
/proc/22026/task/22040/stat : 22040 (java) S 22024 22024 21113 0 -1 1077944384 570 0 0 0 1 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613346695280 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22041] ppid=22024 vsize=26004064 memory=279246157353616 CPUtime=0.02 cores=0-7
/proc/22026/task/22041/stat : 22041 (java) S 22024 22024 21113 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613345642480 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22042] ppid=22024 vsize=26004064 memory=279246157351312 CPUtime=0.02 cores=0-7
/proc/22026/task/22042/stat : 22042 (java) S 22024 22024 21113 0 -1 1077944384 195 0 0 0 2 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613344590192 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22043] ppid=22024 vsize=26004064 memory=279246157367472 CPUtime=0.12 cores=0-7
/proc/22026/task/22043/stat : 22043 (java) R 22024 22024 21113 0 -1 4202560 905 0 0 0 12 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613343532384 140615078718870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22044] ppid=22024 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22044/stat : 22044 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613342485344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22045] ppid=22024 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22026/task/22045/stat : 22045 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014744 26628161536 10969 33554432000 4194304 4196468 140725810928048 140613341432624 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45260 KiB

[startup+0.700932 s]
/proc/loadavg: 5.06 6.90 7.43 4/200 22045
/proc/meminfo: memFree=28665592/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=26004140 memory=128100 CPUtime=1.88 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 13352 0 0 0 182 6 0 0 20 0 20 0 101014738 26628239360 32025 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6501035 32025 3189 1 0 6488269 0
[pid=22026/tid=22027] ppid=22024 vsize=26004140 memory=279246157725360 CPUtime=0.67 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) R 22024 22024 21113 0 -1 4202560 6415 0 0 0 64 3 0 0 20 0 20 0 101014738 26628239360 32025 33554432000 4194304 4196468 140725810928048 140615082941120 140614699586752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=26004140 memory=139623078863728 CPUtime=0 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628239360 32025 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101014739 26628239360 32025 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=26004140 memory=1200 CPUtime=0 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101014739 26628239360 32025 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0

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

[pid=22026/tid=22148] ppid=22024 vsize=26538700 memory=1384 CPUtime=1797.6 cores=0-7
/proc/22026/task/22148/stat : 22148 (java) R 22024 22024 21113 0 -1 4202560 6975 0 0 0 179750 10 0 0 20 0 28 0 101078713 27175628800 1807939 33554432000 4194304 4196468 140725810928048 140612592353384 140614704389906 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 19441.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7233140 KiB

[startup+2502.31 s]
/proc/loadavg: 8.07 8.27 8.27 9/208 22197
/proc/meminfo: memFree=21504652/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=26538700 memory=7223620 CPUtime=19920.4 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 615577 0 0 0 1990764 1281 0 0 20 0 28 0 101014738 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6634675 1805905 3308 1 0 6621909 0
[pid=22026/tid=22027] ppid=22024 vsize=26538700 memory=1384 CPUtime=4.19 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) S 22024 22024 21113 0 -1 1077944384 8298 0 0 0 402 17 0 0 20 0 28 0 101014738 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615082947712 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=26538700 memory=1384 CPUtime=2.64 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 17562 0 0 0 233 31 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=26538700 memory=7223620 CPUtime=2.61 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 16009 0 0 0 231 30 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=26538700 memory=7223620 CPUtime=2.63 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 16412 0 0 0 231 32 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22031] ppid=22024 vsize=26538700 memory=1384 CPUtime=2.63 cores=0-7
/proc/22026/task/22031/stat : 22031 (java) S 22024 22024 21113 0 -1 1077944384 15633 0 0 0 232 31 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615028169744 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22032] ppid=22024 vsize=26538700 memory=1384 CPUtime=2.64 cores=0-7
/proc/22026/task/22032/stat : 22032 (java) S 22024 22024 21113 0 -1 1077944384 17053 0 0 0 231 33 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615027116432 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22033] ppid=22024 vsize=26538700 memory=7223620 CPUtime=2.67 cores=0-7
/proc/22026/task/22033/stat : 22033 (java) S 22024 22024 21113 0 -1 1077944384 16124 0 0 0 233 34 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615026063632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22034] ppid=22024 vsize=26538700 memory=7227700 CPUtime=2.67 cores=0-7
/proc/22026/task/22034/stat : 22034 (java) S 22024 22024 21113 0 -1 1077944384 17180 0 0 0 235 32 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615025011344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22035] ppid=22024 vsize=26538700 memory=4144 CPUtime=2.64 cores=0-7
/proc/22026/task/22035/stat : 22035 (java) S 22024 22024 21113 0 -1 1077944384 16013 0 0 0 232 32 0 0 20 0 28 0 101014739 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140615023958544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22036] ppid=22024 vsize=26538700 memory=8552 CPUtime=1.38 cores=0-7
/proc/22026/task/22036/stat : 22036 (java) S 22024 22024 21113 0 -1 1077944384 49749 0 0 0 110 28 0 0 20 0 28 0 101014741 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613350906480 140615078718082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22037] ppid=22024 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/22026/task/22037/stat : 22037 (java) S 22024 22024 21113 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101014741 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613349852512 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22038] ppid=22024 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22026/task/22038/stat : 22038 (java) S 22024 22024 21113 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 101014741 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613348800128 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22039] ppid=22024 vsize=26538700 memory=7226672 CPUtime=0 cores=0-7
/proc/22026/task/22039/stat : 22039 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613347748432 140615078725531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22040] ppid=22024 vsize=26538700 memory=6791534058613427641 CPUtime=3.19 cores=0-7
/proc/22026/task/22040/stat : 22040 (java) S 22024 22024 21113 0 -1 1077944384 15997 0 0 0 316 3 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613346695280 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22041] ppid=22024 vsize=26538700 memory=1692 CPUtime=3.13 cores=0-7
/proc/22026/task/22041/stat : 22041 (java) S 22024 22024 21113 0 -1 1077944384 12443 0 0 0 311 2 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613345642480 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22042] ppid=22024 vsize=26538700 memory=1236 CPUtime=3.16 cores=0-7
/proc/22026/task/22042/stat : 22042 (java) S 22024 22024 21113 0 -1 1077944384 13869 0 0 0 315 1 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613344590192 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22043] ppid=22024 vsize=26538700 memory=2344 CPUtime=0.92 cores=0-7
/proc/22026/task/22043/stat : 22043 (java) S 22024 22024 21113 0 -1 1077944384 13765 0 0 0 89 3 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613343537392 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22044] ppid=22024 vsize=26538700 memory=7227700 CPUtime=0 cores=0-7
/proc/22026/task/22044/stat : 22044 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613342485344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22045] ppid=22024 vsize=26538700 memory=4144 CPUtime=0.85 cores=0-7
/proc/22026/task/22045/stat : 22045 (java) R 22024 22024 21113 0 -1 1077944384 4929 0 0 0 0 85 0 0 20 0 28 0 101014744 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140613341432624 140615078718082 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22141] ppid=22024 vsize=26538700 memory=7226672 CPUtime=1848.53 cores=0-7
/proc/22026/task/22141/stat : 22141 (java) R 22024 22024 21113 0 -1 4202560 8815 0 0 0 184847 6 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612590247240 140614701025920 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22142] ppid=22024 vsize=26538700 memory=1384 CPUtime=1858.74 cores=0-7
/proc/22026/task/22142/stat : 22142 (java) R 22024 22024 21113 0 -1 4202560 9762 0 0 0 185867 7 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612589195464 140614704391484 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22143] ppid=22024 vsize=26538700 memory=1384 CPUtime=1852.2 cores=0-7
/proc/22026/task/22143/stat : 22143 (java) R 22024 22024 21113 0 -1 4202560 52717 0 0 0 185117 103 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612588142064 140614701025673 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22144] ppid=22024 vsize=26538700 memory=1384 CPUtime=1856.44 cores=0-7
/proc/22026/task/22144/stat : 22144 (java) R 22024 22024 21113 0 -1 4202560 19177 0 0 0 185622 22 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612591303120 140614704458531 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22145] ppid=22024 vsize=26538700 memory=7223620 CPUtime=1853.48 cores=0-7
/proc/22026/task/22145/stat : 22145 (java) R 22024 22024 21113 0 -1 4202560 15325 0 0 0 185321 27 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612593405928 140614699064193 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22146] ppid=22024 vsize=26538700 memory=1384 CPUtime=1853.67 cores=0-7
/proc/22026/task/22146/stat : 22146 (java) R 22024 22024 21113 0 -1 4202560 50123 0 0 0 185239 128 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612587089576 140614701326898 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22147] ppid=22024 vsize=26538700 memory=1384 CPUtime=1851 cores=0-7
/proc/22026/task/22147/stat : 22147 (java) R 22024 22024 21113 0 -1 4202560 77669 0 0 0 184883 217 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612594458344 140614704458645 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22148] ppid=22024 vsize=26538700 memory=7226672 CPUtime=1857.56 cores=0-7
/proc/22026/task/22148/stat : 22148 (java) R 22024 22024 21113 0 -1 4202560 7132 0 0 0 185746 10 0 0 20 0 28 0 101078713 27175628800 1805905 33554432000 4194304 4196468 140725810928048 140612592353384 140614704458536 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 19920.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7225004 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.26 8.26 9/208 22197
/proc/meminfo: memFree=21509420/32770624 swapFree=67108860/67108860
[pid=22024] ppid=22021 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22024/stat : 22024 (xcsp3-exec) S 22021 22024 21113 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101014738 9740288 346 33554432000 4194304 5098028 140722500673952 140722500672056 139661034476156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34918400 140722500682853 140722500683063 140722500683063 140722500685803 0
/proc/22024/statm: 2378 346 289 221 0 87 0
[pid=22026] ppid=22024 vsize=26538700 memory=7220056 CPUtime=20061.7 cores=0-7
/proc/22026/stat : 22026 (java) S 22024 22024 21113 0 -1 1077944320 621673 0 0 0 2004875 1290 0 0 20 0 28 0 101014738 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140725810910592 140615078706935 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
/proc/22026/statm: 6634675 1805014 3308 1 0 6621909 0
[pid=22026/tid=22027] ppid=22024 vsize=26538700 memory=8552 CPUtime=4.19 cores=0-7
/proc/22026/task/22027/stat : 22027 (java) S 22024 22024 21113 0 -1 1077944384 8298 0 0 0 402 17 0 0 20 0 28 0 101014738 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615082947712 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22028] ppid=22024 vsize=26538700 memory=15872 CPUtime=2.64 cores=0-7
/proc/22026/task/22028/stat : 22028 (java) S 22024 22024 21113 0 -1 1077944384 17717 0 0 0 233 31 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615031327632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22029] ppid=22024 vsize=26538700 memory=4872558044660077418 CPUtime=2.61 cores=0-7
/proc/22026/task/22029/stat : 22029 (java) S 22024 22024 21113 0 -1 1077944384 16124 0 0 0 231 30 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615030274832 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22030] ppid=22024 vsize=26538700 memory=7161375840419210322 CPUtime=2.63 cores=0-7
/proc/22026/task/22030/stat : 22030 (java) S 22024 22024 21113 0 -1 1077944384 16708 0 0 0 231 32 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615029222544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22031] ppid=22024 vsize=26538700 memory=7161375840419210322 CPUtime=2.64 cores=0-7
/proc/22026/task/22031/stat : 22031 (java) S 22024 22024 21113 0 -1 1077944384 15802 0 0 0 233 31 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615028169744 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22032] ppid=22024 vsize=26538700 memory=7222604 CPUtime=2.65 cores=0-7
/proc/22026/task/22032/stat : 22032 (java) S 22024 22024 21113 0 -1 1077944384 17660 0 0 0 232 33 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615027116432 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22033] ppid=22024 vsize=26538700 memory=2428 CPUtime=2.67 cores=0-7
/proc/22026/task/22033/stat : 22033 (java) S 22024 22024 21113 0 -1 1077944384 16237 0 0 0 233 34 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615026063632 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22034] ppid=22024 vsize=26538700 memory=1728 CPUtime=2.67 cores=0-7
/proc/22026/task/22034/stat : 22034 (java) S 22024 22024 21113 0 -1 1077944384 17588 0 0 0 235 32 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615025011344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22035] ppid=22024 vsize=26538700 memory=792 CPUtime=2.64 cores=0-7
/proc/22026/task/22035/stat : 22035 (java) S 22024 22024 21113 0 -1 1077944384 16202 0 0 0 232 32 0 0 20 0 28 0 101014739 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140615023958544 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22036] ppid=22024 vsize=26538700 memory=9992 CPUtime=1.38 cores=0-7
/proc/22026/task/22036/stat : 22036 (java) S 22024 22024 21113 0 -1 1077944384 50309 0 0 0 110 28 0 0 20 0 28 0 101014741 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613350906480 140615078718082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22037] ppid=22024 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22026/task/22037/stat : 22037 (java) S 22024 22024 21113 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 101014741 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613349852512 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22038] ppid=22024 vsize=26538700 memory=5716 CPUtime=0 cores=0-7
/proc/22026/task/22038/stat : 22038 (java) S 22024 22024 21113 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 101014741 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613348800128 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22039] ppid=22024 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22026/task/22039/stat : 22039 (java) S 22024 22024 21113 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613347748432 140615078725531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22040] ppid=22024 vsize=26538700 memory=2344 CPUtime=3.19 cores=0-7
/proc/22026/task/22040/stat : 22040 (java) S 22024 22024 21113 0 -1 1077944384 16013 0 0 0 316 3 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613346695280 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22041] ppid=22024 vsize=26538700 memory=932 CPUtime=3.13 cores=0-7
/proc/22026/task/22041/stat : 22041 (java) S 22024 22024 21113 0 -1 1077944384 12449 0 0 0 311 2 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613345642480 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22042] ppid=22024 vsize=26538700 memory=1580 CPUtime=3.16 cores=0-7
/proc/22026/task/22042/stat : 22042 (java) S 22024 22024 21113 0 -1 1077944384 13875 0 0 0 315 1 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613344590192 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22043] ppid=22024 vsize=26538700 memory=2244 CPUtime=0.92 cores=0-7
/proc/22026/task/22043/stat : 22043 (java) S 22024 22024 21113 0 -1 1077944384 13773 0 0 0 89 3 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613343537392 140615078718082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22044] ppid=22024 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/22026/task/22044/stat : 22044 (java) S 22024 22024 21113 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613342485344 140615078717141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22045] ppid=22024 vsize=26538700 memory=2204 CPUtime=0.85 cores=0-7
/proc/22026/task/22045/stat : 22045 (java) R 22024 22024 21113 0 -1 1077944384 4977 0 0 0 0 85 0 0 20 0 28 0 101014744 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140613341432624 140615078718082 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22141] ppid=22024 vsize=26538700 memory=7280 CPUtime=1866.02 cores=0-7
/proc/22026/task/22141/stat : 22141 (java) R 22024 22024 21113 0 -1 4202560 8949 0 0 0 186596 6 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612590247648 140614704458662 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22142] ppid=22024 vsize=26538700 memory=844 CPUtime=1876.43 cores=0-7
/proc/22026/task/22142/stat : 22142 (java) R 22024 22024 21113 0 -1 4202560 9891 0 0 0 187636 7 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612589195488 140614704944010 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22143] ppid=22024 vsize=26538700 memory=1692 CPUtime=1869.89 cores=0-7
/proc/22026/task/22143/stat : 22143 (java) R 22024 22024 21113 0 -1 4202560 53516 0 0 0 186885 104 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612588142152 140614704458660 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22144] ppid=22024 vsize=26538700 memory=916 CPUtime=1874 cores=0-7
/proc/22026/task/22144/stat : 22144 (java) R 22024 22024 21113 0 -1 4202560 19431 0 0 0 187378 22 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612591300696 140615058432149 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22145] ppid=22024 vsize=26538700 memory=4448 CPUtime=1871.17 cores=0-7
/proc/22026/task/22145/stat : 22145 (java) R 22024 22024 21113 0 -1 4202560 15694 0 0 0 187090 27 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612593406424 140614699064105 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22146] ppid=22024 vsize=26538700 memory=4104 CPUtime=1871.36 cores=0-7
/proc/22026/task/22146/stat : 22146 (java) R 22024 22024 21113 0 -1 4202560 50603 0 0 0 187006 130 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612587089928 140614703764031 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22147] ppid=22024 vsize=26538700 memory=1152 CPUtime=1868.64 cores=0-7
/proc/22026/task/22147/stat : 22147 (java) R 22024 22024 21113 0 -1 4202560 78785 0 0 0 186644 220 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612594461024 140614705017526 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
[pid=22026/tid=22148] ppid=22024 vsize=26538700 memory=4612 CPUtime=1875.25 cores=0-7
/proc/22026/task/22148/stat : 22148 (java) R 22024 22024 21113 0 -1 4202560 7251 0 0 0 187515 10 0 0 20 0 28 0 101078713 27175628800 1805014 33554432000 4194304 4196468 140725810928048 140612592353192 140614704458556 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17522688 140725810934930 140725810935107 140725810935107 140725810937807 0
Current children cumulated CPU time: 20061.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7221440 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.15
CPU time (s): 20062.5
CPU user time (s): 20049.6
CPU system time (s): 12.9393
CPU usage (%): 796.084
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 7827412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20049.6
system time used= 12.9393
maximum resident set size= 7838440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622814
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114450
involuntary context switches= 204555


# summary of solver processes directly reported to runsolver:
#   pid: 22024,22026
#   total CPU time (s): 20062.5
#   total CPU user time (s): 20049.6
#   total CPU system time (s): 12.9393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.831 second user time and 31.2884 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270588

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
