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-08-18)	SAT (TO)	40	2520.1101	2501.51
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 (15310 MiB free)
  memory of node 1: 16384 MiB (15337 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283338-1503185182/watcher-4283338-1503185182 -o /tmp/evaluation-result-4283338-1503185182/solver-4283338-1503185182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 893120768 HOME/instance-4283338-1503185182.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=32089, runsolver pid=32086
Current StackSize limit: 8192 KiB


[startup+0.101012 s]*
/proc/loadavg: 1.45 1.38 1.47 3/203 32096
/proc/meminfo: memFree=31375384/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13358712 memory=16412 CPUtime=0.01 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 3372 0 0 0 1 0 0 0 20 0 6 0 16927924 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3339678 4103 1905 1 0 3329175 0
[pid=32091/tid=32092] ppid=32089 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 2133 0 0 0 1 0 0 0 20 0 6 0 16927924 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140407538991696 140407526792360 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 16927925 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13358712 memory=140071340258944 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 16927925 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 16927925 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 16927925 13679321088 4103 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB

[startup+0.211054 s]*
/proc/loadavg: 1.45 1.38 1.47 3/212 32105
/proc/meminfo: memFree=31368352/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13974352 memory=27912 CPUtime=0.08 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 4916 0 0 0 7 1 0 0 20 0 15 0 16927924 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3493588 6978 2722 1 0 3482964 0
[pid=32091/tid=32092] ppid=32089 vsize=13974352 memory=-6871798056524144002 CPUtime=0.07 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 3064 0 0 0 6 1 0 0 20 0 15 0 16927924 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407538988816 140407534777501 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13974352 memory=140071340258944 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13974352 memory=140071340258944 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16927926 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16927927 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407012299680 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16927927 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407011247088 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) S 32089 32089 16431 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 16927929 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16927929 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13974352 memory=140071340258944 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) R 32089 32089 16431 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 15 0 16927930 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407534776922 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13974352 memory=140071340258944 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927935 14309736448 6978 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29292 KiB

[startup+0.310364 s]*
/proc/loadavg: 1.45 1.38 1.47 3/212 32105
/proc/meminfo: memFree=31356120/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13974352 memory=37264 CPUtime=0.27 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 8375 0 0 0 24 3 0 0 20 0 15 0 16927924 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3493588 9316 2976 1 0 3482964 0
[pid=32091/tid=32092] ppid=32089 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 5678 0 0 0 15 2 0 0 20 0 15 0 16927924 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407538989072 140407128346945 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13974352 memory=140071340265937 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13974352 memory=7444826686923435115 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16927925 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16927926 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16927927 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407012299680 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16927927 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407011247088 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) R 32089 32089 16431 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 15 0 16927929 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 15 0 16927929 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407008083760 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) R 32089 32089 16431 0 -1 4202560 678 0 0 0 5 0 0 0 20 0 15 0 16927930 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407515072240 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927935 14309736448 9316 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38644 KiB

[startup+0.701327 s]
/proc/loadavg: 1.45 1.38 1.47 5/212 32105
/proc/meminfo: memFree=31338396/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13978684 memory=79184 CPUtime=1.27 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 12423 0 0 0 122 5 0 0 20 0 15 0 16927924 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3494671 19796 3151 1 0 3482964 0
[pid=32091/tid=32092] ppid=32089 vsize=13978684 memory=8751464017575425845 CPUtime=0.54 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 7344 0 0 0 51 3 0 0 20 0 15 0 16927924 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407538989736 140407128334054 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13978684 memory=5861541947240501328 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13978684 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927925 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16927925 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 16927926 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16927927 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407012299680 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16927927 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407011247088 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13978684 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) R 32089 32089 16431 0 -1 4202560 1464 0 0 0 23 0 0 0 20 0 15 0 16927929 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407009132064 140407516299715 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) R 32089 32089 16431 0 -1 4202560 839 0 0 0 23 0 0 0 20 0 15 0 16927929 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407518142636 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13978684 memory=6656426216303648864 CPUtime=0.24 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) R 32089 32089 16431 0 -1 4202560 1469 0 0 0 24 0 0 0 20 0 15 0 16927930 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407007035984 140407527852411 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) R 32089 32089 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16927935 14314172416 19796 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 80564 KiB

[startup+1.50138 s]
/proc/loadavg: 1.45 1.38 1.47 6/212 32105
/proc/meminfo: memFree=31197604/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13980732 memory=232900 CPUtime=3.69 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 15581 0 0 0 357 12 0 0 20 0 15 0 16927924 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3495183 58225 3213 1 0 3483476 0
[pid=32091/tid=32092] ppid=32089 vsize=13980732 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 7993 0 0 0 122 6 0 0 20 0 15 0 16927924 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407538993072 140407133313998 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13980732 memory=4498716170645055337 CPUtime=0.03 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 33 0 0 0 3 0 0 0 20 0 15 0 16927925 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13980732 memory=5864090675391982384 CPUtime=0.01 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 15 0 16927925 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13980732 memory=7380951658385466656 CPUtime=0.04 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 132 0 0 0 4 0 0 0 20 0 15 0 16927925 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13980732 memory=4004 CPUtime=0.05 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 80 0 0 0 4 1 0 0 20 0 15 0 16927925 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 16927926 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13980732 memory=140071231799424 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 58225 18446744073709551615 4194304 4196468 140721080102624 140407012299744 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407011247104 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13980732 memory=1327460 CPUtime=4.82 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) S 32089 32089 16431 0 -1 1077944384 22191 0 0 0 479 3 0 0 20 0 15 0 16927929 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13980732 memory=1380 CPUtime=4.64 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 17924 0 0 0 462 2 0 0 20 0 15 0 16927929 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13980732 memory=1330024 CPUtime=0.9 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) S 32089 32089 16431 0 -1 1077944384 13256 0 0 0 88 2 0 0 20 0 15 0 16927930 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13980732 memory=12908 CPUtime=1.19 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1595 0 0 0 59 60 0 0 20 0 15 0 16927935 14316269568 330839 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 2399.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1324736 KiB

[startup+2442.3 s]
/proc/loadavg: 1.21 1.35 1.52 3/212 32245
/proc/meminfo: memFree=30213356/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13980732 memory=1275644 CPUtime=2460.21 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 212959 0 0 0 245847 174 0 0 20 0 15 0 16927924 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3495183 318911 3270 1 0 3483476 0
[pid=32091/tid=32092] ppid=32089 vsize=13980732 memory=1277696 CPUtime=2439 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 93450 0 0 0 243851 49 0 0 20 0 15 0 16927924 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407538995136 140407137837194 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13980732 memory=1380 CPUtime=2.26 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 11757 0 0 0 213 13 0 0 20 0 15 0 16927925 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13980732 memory=1276160 CPUtime=2.23 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 14939 0 0 0 208 15 0 0 20 0 15 0 16927925 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13980732 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 9193 0 0 0 214 14 0 0 20 0 15 0 16927925 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13980732 memory=1275644 CPUtime=2.28 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 11227 0 0 0 212 16 0 0 20 0 15 0 16927925 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13980732 memory=1380 CPUtime=0.49 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 15927 0 0 0 37 12 0 0 20 0 15 0 16927926 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13980732 memory=1276160 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407012299744 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407011247104 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13980732 memory=1280264 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13980732 memory=1380 CPUtime=4.82 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) S 32089 32089 16431 0 -1 1077944384 22195 0 0 0 479 3 0 0 20 0 15 0 16927929 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13980732 memory=4004 CPUtime=4.64 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 17929 0 0 0 462 2 0 0 20 0 15 0 16927929 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13980732 memory=1286420 CPUtime=0.9 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) S 32089 32089 16431 0 -1 1077944384 13411 0 0 0 88 2 0 0 20 0 15 0 16927930 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13980732 memory=1380 CPUtime=1.22 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1629 0 0 0 60 62 0 0 20 0 15 0 16927935 14316269568 318911 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 2460.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1277024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.5 s]
/proc/loadavg: 1.51 1.41 1.53 4/212 32325
/proc/meminfo: memFree=29871528/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13980732 memory=1228956 CPUtime=2520.08 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 216315 0 0 0 251829 179 0 0 20 0 15 0 16927924 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3495183 307239 3270 1 0 3483476 0
[pid=32091/tid=32092] ppid=32089 vsize=13980732 memory=1236648 CPUtime=2497.89 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 94084 0 0 0 249739 50 0 0 20 0 15 0 16927924 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407538995248 140407134652264 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13980732 memory=1236648 CPUtime=2.48 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 12218 0 0 0 234 14 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13980732 memory=1238684 CPUtime=2.46 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 15592 0 0 0 230 16 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13980732 memory=1234596 CPUtime=2.49 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 9391 0 0 0 235 14 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13980732 memory=1231008 CPUtime=2.49 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 11485 0 0 0 233 16 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13980732 memory=1380 CPUtime=0.56 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 16894 0 0 0 43 13 0 0 20 0 15 0 16927926 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407012299744 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407011247104 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13980732 memory=1243816 CPUtime=4.82 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) S 32089 32089 16431 0 -1 1077944384 22200 0 0 0 479 3 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13980732 memory=1380 CPUtime=4.64 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 17934 0 0 0 462 2 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0.9 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) S 32089 32089 16431 0 -1 1077944384 13521 0 0 0 88 2 0 0 20 0 15 0 16927930 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13980732 memory=792 CPUtime=1.25 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1694 0 0 0 62 63 0 0 20 0 15 0 16927935 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1230336 KiB

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

[startup+2501.51 s]
# the end of solver process 32089 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001715 s, system=0.000127 s

[startup+2501.51 s]
# the end of solver process 32091 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.31 s, system=1.80356 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+2501.5 s]
/proc/loadavg: 1.51 1.41 1.53 4/212 32325
/proc/meminfo: memFree=29871528/32770624 swapFree=67108860/67108860
[pid=32089] ppid=32086 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32089/stat : 32089 (xcsp3-exec) S 32086 32089 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 16927915 9740288 345 18446744073709551615 4194304 5098028 140725606256576 140725606254680 139687176831612 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 14823424 140725606265210 140725606265414 140725606265414 140725606268907 0
/proc/32089/statm: 2378 345 289 221 0 87 0
[pid=32091] ppid=32089 vsize=13980732 memory=1228956 CPUtime=2520.08 cores=0,2,4,6
/proc/32091/stat : 32091 (java) S 32089 32089 16431 0 -1 1077944320 216315 0 0 0 251829 179 0 0 20 0 15 0 16927924 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140721080085168 140407534755575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
/proc/32091/statm: 3495183 307239 3270 1 0 3483476 0
[pid=32091/tid=32092] ppid=32089 vsize=13980732 memory=1236648 CPUtime=2497.89 cores=0,2,4,6
/proc/32091/task/32092/stat : 32092 (java) R 32089 32089 16431 0 -1 4202560 94084 0 0 0 249739 50 0 0 20 0 15 0 16927924 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407538995248 140407134652264 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32093] ppid=32089 vsize=13980732 memory=1236648 CPUtime=2.48 cores=0,2,4,6
/proc/32091/task/32093/stat : 32093 (java) S 32089 32089 16431 0 -1 1077944384 12218 0 0 0 234 14 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407454169872 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32094] ppid=32089 vsize=13980732 memory=1238684 CPUtime=2.46 cores=0,2,4,6
/proc/32091/task/32094/stat : 32094 (java) S 32089 32089 16431 0 -1 1077944384 15592 0 0 0 230 16 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407453117328 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32095] ppid=32089 vsize=13980732 memory=1234596 CPUtime=2.49 cores=0,2,4,6
/proc/32091/task/32095/stat : 32095 (java) S 32089 32089 16431 0 -1 1077944384 9391 0 0 0 235 14 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407452064784 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32096] ppid=32089 vsize=13980732 memory=1231008 CPUtime=2.49 cores=0,2,4,6
/proc/32091/task/32096/stat : 32096 (java) S 32089 32089 16431 0 -1 1077944384 11485 0 0 0 233 16 0 0 20 0 15 0 16927925 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407451012240 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32097] ppid=32089 vsize=13980732 memory=1380 CPUtime=0.56 cores=0,2,4,6
/proc/32091/task/32097/stat : 32097 (java) S 32089 32089 16431 0 -1 1077944384 16894 0 0 0 43 13 0 0 20 0 15 0 16927926 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407013353456 140407534766722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32098] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32098/stat : 32098 (java) S 32089 32089 16431 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407012299744 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32099] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32099/stat : 32099 (java) S 32089 32089 16431 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 16927927 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407011247104 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32100] ppid=32089 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32100/stat : 32100 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407010195664 140407534774171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32101] ppid=32089 vsize=13980732 memory=1243816 CPUtime=4.82 cores=0,2,4,6
/proc/32091/task/32101/stat : 32101 (java) S 32089 32089 16431 0 -1 1077944384 22200 0 0 0 479 3 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407009143280 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32102] ppid=32089 vsize=13980732 memory=1380 CPUtime=4.64 cores=0,2,4,6
/proc/32091/task/32102/stat : 32102 (java) S 32089 32089 16431 0 -1 1077944384 17934 0 0 0 462 2 0 0 20 0 15 0 16927929 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407008090736 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32103] ppid=32089 vsize=13980732 memory=1228956 CPUtime=0.9 cores=0,2,4,6
/proc/32091/task/32103/stat : 32103 (java) S 32089 32089 16431 0 -1 1077944384 13521 0 0 0 88 2 0 0 20 0 15 0 16927930 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407007038192 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32104] ppid=32089 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/32091/task/32104/stat : 32104 (java) S 32089 32089 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16927930 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407005985888 140407534765781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
[pid=32091/tid=32105] ppid=32089 vsize=13980732 memory=792 CPUtime=1.25 cores=0,2,4,6
/proc/32091/task/32105/stat : 32105 (java) S 32089 32089 16431 0 -1 1077944384 1694 0 0 0 62 63 0 0 20 0 15 0 16927935 14316269568 307239 18446744073709551615 4194304 4196468 140721080102624 140407004932400 140407534766722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 13910016 140721080107442 140721080107618 140721080107618 140721080111055 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1230336 KiB

Child status: 143
Real time (s): 2501.51
CPU time (s): 2520.11
CPU user time (s): 2518.31
CPU system time (s): 1.80356
CPU usage (%): 100.743
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2245592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.31
system time used= 1.80355
maximum resident set size= 2250356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67519
involuntary context switches= 3158


# summary of solver processes directly reported to runsolver:
#   pid: 32089,32091
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.31
#   total CPU system time (s): 1.80356

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5884 second user time and 22.9409 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 4283338

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
