2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	29	2400.09	2392.12
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 (8592 MiB free)
  memory of node 1: 16384 MiB (11967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292221-1532286297/watcher-4292221-1532286297 -o /tmp/evaluation-result-4292221-1532286297/solver-4292221-1532286297 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532278959-4650 --watchdog 2560 HOME/xcsp3-exec -seed 857059789 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292221-1532286297.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=5690, runsolver pid=5687
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.87 1.77 1.77 3/217 5706
/proc/meminfo: memFree=21039400/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14082840 memory=28648 CPUtime=0.08 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 5006 0 0 0 7 1 0 0 20 0 15 0 46192840 14420828160 7162 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3520710 7162 2880 1 0 3483008 0
[pid=5692/tid=5693] ppid=5690 vsize=14082840 memory=7827157880860283739 CPUtime=0.06 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 3157 0 0 0 6 0 0 0 20 0 15 0 46192840 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652839840144 139652835636381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652308121120 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652307068272 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192848 14420828160 7162 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30100 KiB

[startup+0.210476 s]*
/proc/loadavg: 1.87 1.77 1.77 3/217 5706
/proc/meminfo: memFree=21026808/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14082840 memory=40920 CPUtime=0.29 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 7714 0 0 0 27 2 0 0 20 0 15 0 46192840 14420828160 10230 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3520710 10230 3169 1 0 3483008 0
[pid=5692/tid=5693] ppid=5690 vsize=14082840 memory=7883960649037381690 CPUtime=0.17 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 4870 0 0 0 16 1 0 0 20 0 15 0 46192840 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652839830352 139652835626390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14082840 memory=11615 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14082840 memory=3763232340081473184 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652308121120 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46192843 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652307068272 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 46192846 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 15 0 46192846 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14082840 memory=140375701157504 CPUtime=0.06 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) R 5690 5690 1778 0 -1 4202560 763 0 0 0 6 0 0 0 20 0 15 0 46192846 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652302858352 139652814162706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192848 14420828160 10230 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42372 KiB

[startup+0.310118 s]*
/proc/loadavg: 1.87 1.77 1.77 4/217 5706
/proc/meminfo: memFree=21020296/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14087096 memory=46568 CPUtime=0.47 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 8333 0 0 0 44 3 0 0 20 0 15 0 46192840 14425186304 11642 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3521774 11642 3191 1 0 3483008 0
[pid=5692/tid=5693] ppid=5690 vsize=14087096 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 5408 0 0 0 26 1 0 0 20 0 15 0 46192840 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652839845344 139652819658085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192841 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46192843 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46192843 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652308121120 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46192843 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652307068272 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14087096 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 15 0 46192846 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 46192846 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14087096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) R 5690 5690 1778 0 -1 4202560 827 0 0 0 11 0 0 0 20 0 15 0 46192846 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652302858352 139652814227746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192848 14425186304 11642 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48020 KiB

[startup+0.701686 s]
/proc/loadavg: 1.87 1.77 1.77 6/217 5706
/proc/meminfo: memFree=20996724/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14089220 memory=102212 CPUtime=1.6 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 11447 0 0 0 155 5 0 0 20 0 15 0 46192840 14427361280 25553 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3522305 25553 3328 1 0 3483520 0
[pid=5692/tid=5693] ppid=5690 vsize=14089220 memory=3472328296227679313 CPUtime=0.65 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 6064 0 0 0 63 2 0 0 20 0 15 0 46192840 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652839849272 139652425351079 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192841 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14089220 memory=15524 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46192841 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14089220 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652308121120 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14089220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652307068272 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14089220 memory=1960 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14089220 memory=5380 CPUtime=0.31 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) R 5690 5690 1778 0 -1 4202560 1454 0 0 0 31 0 0 0 20 0 15 0 46192846 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652304955280 139652819114902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14089220 memory=4616 CPUtime=0.32 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) R 5690 5690 1778 0 -1 4202560 1142 0 0 0 32 0 0 0 20 0 15 0 46192846 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652303897440 139652819145983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14089220 memory=1232 CPUtime=0.28 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 1478 0 0 0 28 0 0 0 20 0 15 0 46192846 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14089220 memory=11964 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14089220 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46192848 14427361280 25553 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 103664 KiB

[startup+1.50869 s]
/proc/loadavg: 1.87 1.77 1.77 5/217 5706
/proc/meminfo: memFree=20873012/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0

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

/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652307068288 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14089220 memory=1196552 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14089220 memory=1452 CPUtime=2.54 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 11092 0 0 0 252 2 0 0 20 0 15 0 46192846 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14089220 memory=1196552 CPUtime=2.71 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 14871 0 0 0 268 3 0 0 20 0 15 0 46192846 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14089220 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 8804 0 0 0 72 2 0 0 20 0 15 0 46192846 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14089220 memory=1452 CPUtime=1.24 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1633 0 0 0 58 66 0 0 20 0 15 0 46192848 14427361280 299138 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 2330.2 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1198004 KiB

[startup+2382.3 s]
/proc/loadavg: 1.72 1.72 1.75 3/217 5931
/proc/meminfo: memFree=19876360/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14089220 memory=1197544 CPUtime=2390.24 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 94977 0 0 0 238914 110 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3522305 299386 3407 1 0 3483520 0
[pid=5692/tid=5693] ppid=5690 vsize=14089220 memory=1197544 CPUtime=2382.12 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 34856 0 0 0 238190 22 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652839853888 139652428752144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.15 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 3824 0 0 0 10 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.19 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 3989 0 0 0 14 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 3915 0 0 0 11 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14089220 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 4518 0 0 0 12 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14089220 memory=9 CPUtime=0.09 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 6117 0 0 0 4 5 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652308121184 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652307068288 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14089220 memory=1452 CPUtime=2.54 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 11095 0 0 0 252 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14089220 memory=1452 CPUtime=2.71 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 14873 0 0 0 268 3 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14089220 memory=4140 CPUtime=0.74 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 8806 0 0 0 72 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14089220 memory=15596 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14089220 memory=4140 CPUtime=1.27 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1654 0 0 0 60 67 0 0 20 0 15 0 46192848 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 2390.24 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1198996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392.11 s]
/proc/loadavg: 1.85 1.75 1.76 3/217 5931
/proc/meminfo: memFree=19851404/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14089220 memory=1197544 CPUtime=2400.06 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 95039 0 0 0 239895 111 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3522305 299386 3407 1 0 3483520 0
[pid=5692/tid=5693] ppid=5690 vsize=14089220 memory=1452 CPUtime=2391.93 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 34916 0 0 0 239171 22 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652839853888 139652428752075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.15 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 3824 0 0 0 10 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.19 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 3989 0 0 0 14 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 3915 0 0 0 11 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.17 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 4518 0 0 0 12 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.09 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 6117 0 0 0 4 5 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652308121184 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652307068288 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14089220 memory=1708 CPUtime=2.54 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 11095 0 0 0 252 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14089220 memory=9 CPUtime=2.71 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 14873 0 0 0 268 3 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.74 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 8806 0 0 0 72 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14089220 memory=1452 CPUtime=1.28 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1656 0 0 0 60 68 0 0 20 0 15 0 46192848 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1198996 KiB

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

[startup+2392.12 s]
# the end of solver process 5690 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001162 s, system=0.001162 s

[startup+2392.12 s]
# the end of solver process 5692 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.97 s, system=1.11943 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+2392.11 s]
/proc/loadavg: 1.85 1.75 1.76 3/217 5931
/proc/meminfo: memFree=19851404/32770624 swapFree=67108860/67108860
[pid=5690] ppid=5687 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5690/stat : 5690 (xcsp3-exec) S 5687 5690 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 46192840 115843072 363 33554432000 4194304 5098028 140731737091600 140731737089704 140624308777596 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22835200 140731737093179 140731737093380 140731737093380 140731737096138 0
/proc/5690/statm: 28282 363 306 221 0 87 0
[pid=5692] ppid=5690 vsize=14089220 memory=1197544 CPUtime=2400.06 cores=0,2,4,6
/proc/5692/stat : 5692 (java) S 5690 5690 1778 0 -1 1077944320 95039 0 0 0 239895 111 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 140721299913040 139652835614455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
/proc/5692/statm: 3522305 299386 3407 1 0 3483520 0
[pid=5692/tid=5693] ppid=5690 vsize=14089220 memory=1452 CPUtime=2391.93 cores=0,2,4,6
/proc/5692/task/5693/stat : 5693 (java) R 5690 5690 1778 0 -1 4202560 34916 0 0 0 239171 22 0 0 20 0 15 0 46192840 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652839853888 139652428752075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5694] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.15 cores=0,2,4,6
/proc/5692/task/5694/stat : 5694 (java) S 5690 5690 1778 0 -1 1077944384 3824 0 0 0 10 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652750682768 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5695] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.19 cores=0,2,4,6
/proc/5692/task/5695/stat : 5695 (java) S 5690 5690 1778 0 -1 1077944384 3989 0 0 0 14 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652749629968 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5696] ppid=5690 vsize=14089220 memory=1452 CPUtime=0.16 cores=0,2,4,6
/proc/5692/task/5696/stat : 5696 (java) S 5690 5690 1778 0 -1 1077944384 3915 0 0 0 11 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652748577168 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5697] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.17 cores=0,2,4,6
/proc/5692/task/5697/stat : 5697 (java) S 5690 5690 1778 0 -1 1077944384 4518 0 0 0 12 5 0 0 20 0 15 0 46192841 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652747524368 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5698] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.09 cores=0,2,4,6
/proc/5692/task/5698/stat : 5698 (java) S 5690 5690 1778 0 -1 1077944384 6117 0 0 0 4 5 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652309175152 139652835625602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5699] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5699/stat : 5699 (java) S 5690 5690 1778 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652308121184 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5700] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5700/stat : 5700 (java) S 5690 5690 1778 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 46192843 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652307068288 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5701] ppid=5690 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5701/stat : 5701 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652306016592 139652835633051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5702] ppid=5690 vsize=14089220 memory=1708 CPUtime=2.54 cores=0,2,4,6
/proc/5692/task/5702/stat : 5702 (java) S 5690 5690 1778 0 -1 1077944384 11095 0 0 0 252 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652304963952 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5703] ppid=5690 vsize=14089220 memory=9 CPUtime=2.71 cores=0,2,4,6
/proc/5692/task/5703/stat : 5703 (java) S 5690 5690 1778 0 -1 1077944384 14873 0 0 0 268 3 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652303911152 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5704] ppid=5690 vsize=14089220 memory=1197544 CPUtime=0.74 cores=0,2,4,6
/proc/5692/task/5704/stat : 5704 (java) S 5690 5690 1778 0 -1 1077944384 8806 0 0 0 72 2 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652302858352 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5705] ppid=5690 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5692/task/5705/stat : 5705 (java) S 5690 5690 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46192846 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652301805792 139652835624661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
[pid=5692/tid=5706] ppid=5690 vsize=14089220 memory=1452 CPUtime=1.28 cores=0,2,4,6
/proc/5692/task/5706/stat : 5706 (java) S 5690 5690 1778 0 -1 1077944384 1656 0 0 0 60 68 0 0 20 0 15 0 46192848 14427361280 299386 33554432000 4194304 4196468 140721299930496 139652300754096 139652835625602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 24383488 140721299932289 140721299932465 140721299932465 140721299935183 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1198996 KiB

Child status: 143
Real time (s): 2392.12
CPU time (s): 2400.09
CPU user time (s): 2398.97
CPU system time (s): 1.11943
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 1200636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.97
system time used= 1.11942
maximum resident set size= 1199656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55327
involuntary context switches= 2179


# summary of solver processes directly reported to runsolver:
#   pid: 5690,5692
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.97
#   total CPU system time (s): 1.11943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7567 second user time and 23.7926 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	303.273
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4292221

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
