2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	OPT	7	74.5843	70.1759
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 (15102 MiB free)
  memory of node 1: 16384 MiB (11007 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301396-1532880358/watcher-4301396-1532880358 -o /tmp/evaluation-result-4301396-1532880358/solver-4301396-1532880358 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 417801213 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301396-1532880358.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=7895, runsolver pid=7892

[startup+0.100058 s]*
/proc/loadavg: 2.01 2.04 2.03 3/217 7911
/proc/meminfo: memFree=26719116/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14082940 memory=28996 CPUtime=0.11 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 5676 0 0 0 11 0 0 0 20 0 15 0 105599002 14420930560 7249 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3520735 7249 2991 1 0 3483012 0
[pid=7897/tid=7898] ppid=7895 vsize=14082940 memory=7898933999921501019 CPUtime=0.09 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 3692 0 0 0 9 0 0 0 20 0 15 0 105599002 14420930560 7249 33554432000 4194304 4196468 140725829432624 140348864640816 140348860433565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 7249 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 7249 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 7249 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 7249 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347973088416 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347972035312 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) R 7895 7895 7585 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347967826416 140348860432986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 7249 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30448 KiB

[startup+0.21059 s]*
/proc/loadavg: 2.01 2.04 2.03 4/217 7911
/proc/meminfo: memFree=26708680/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14082940 memory=40496 CPUtime=0.33 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 8184 0 0 0 31 2 0 0 20 0 15 0 105599002 14420930560 10124 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3520735 10124 3180 1 0 3483012 0
[pid=7897/tid=7898] ppid=7895 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 5399 0 0 0 19 1 0 0 20 0 15 0 105599002 14420930560 10124 33554432000 4194304 4196468 140725829432624 140348864646624 140348844492126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 10124 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14082940 memory=140609142623645 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 10124 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 10124 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14420930560 10124 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347973088416 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105599005 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347972035312 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14082940 memory=140609142126208 CPUtime=0.07 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 640 0 0 0 7 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599008 14420930560 10124 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41948 KiB

[startup+0.310488 s]*
/proc/loadavg: 2.01 2.04 2.03 4/217 7911
/proc/meminfo: memFree=26702088/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14087196 memory=47728 CPUtime=0.52 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 9075 0 0 0 50 2 0 0 20 0 15 0 105599002 14425288704 11932 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3521799 11932 3262 1 0 3483012 0
[pid=7897/tid=7898] ppid=7895 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 6107 0 0 0 28 1 0 0 20 0 15 0 105599002 14425288704 11932 33554432000 4194304 4196468 140725829432624 140348864642752 140348860433565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14425288704 11932 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14425288704 11932 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105599003 14425288704 11932 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14425288704 11932 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105599005 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105599005 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347973088416 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105599005 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347972035312 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14087196 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 532 0 0 0 5 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 713 0 0 0 12 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599008 14425288704 11932 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49180 KiB

[startup+0.70136 s]
/proc/loadavg: 2.01 2.04 2.03 4/217 7911
/proc/meminfo: memFree=26679880/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14089320 memory=104092 CPUtime=1.71 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 11930 0 0 0 167 4 0 0 20 0 15 0 105599002 14427463680 26023 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3522330 26023 3348 1 0 3483524 0
[pid=7897/tid=7898] ppid=7895 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 6550 0 0 0 64 3 0 0 20 0 15 0 105599002 14427463680 26023 33554432000 4194304 4196468 140725829432624 140348864647320 140348860433565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14427463680 26023 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14427463680 26023 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14089320 memory=30112 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105599003 14427463680 26023 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599003 14427463680 26023 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347973088416 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347972035312 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14089320 memory=756 CPUtime=0.35 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) R 7895 7895 7585 0 -1 4202560 1293 0 0 0 35 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347969917792 140348841955020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14089320 memory=1616 CPUtime=0.35 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) R 7895 7895 7585 0 -1 4202560 1255 0 0 0 35 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347968872432 140348846425682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14089320 memory=1836 CPUtime=0.31 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 1524 0 0 0 31 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 26023 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105544 KiB

[startup+1.50138 s]
/proc/loadavg: 2.01 2.04 2.03 5/217 7911
/proc/meminfo: memFree=26600728/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0

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

/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14089320 memory=219572 CPUtime=73.19 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 36044 0 0 0 7302 17 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3522330 54893 3428 1 0 3483524 0
[pid=7897/tid=7898] ppid=7895 vsize=14089320 memory=1452 CPUtime=68.71 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 10122 0 0 0 6864 7 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348864650808 140348481478492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14089320 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 630 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14089320 memory=219572 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 2035 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14089320 memory=2880 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14089320 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1086 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14089320 memory=219568 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 763 0 0 0 1 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14089320 memory=213452 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347973088480 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14089320 memory=3872 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347972035328 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14089320 memory=219568 CPUtime=1.73 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 6670 0 0 0 172 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14089320 memory=1452 CPUtime=1.88 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 6850 0 0 0 187 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14089320 memory=1180 CPUtime=0.69 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 5584 0 0 0 68 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14089320 memory=504 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14089320 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 73.19 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 221024 KiB

[startup+69.6007 s]
/proc/loadavg: 2.20 2.11 2.06 3/217 7989
/proc/meminfo: memFree=26476756/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14089320 memory=219572 CPUtime=73.99 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 36058 0 0 0 7382 17 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3522330 54893 3428 1 0 3483524 0
[pid=7897/tid=7898] ppid=7895 vsize=14089320 memory=8112282956445269571 CPUtime=69.51 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 10128 0 0 0 6944 7 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348864650808 140348481478346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14089320 memory=30112 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 630 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14089320 memory=1224 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 2035 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14089320 memory=2260 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14089320 memory=1788 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1086 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14089320 memory=860 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347973088480 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14089320 memory=756 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347972035328 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14089320 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14089320 memory=1836 CPUtime=1.73 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 6672 0 0 0 172 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14089320 memory=1132 CPUtime=1.88 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 6852 0 0 0 187 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14089320 memory=6396 CPUtime=0.69 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 5586 0 0 0 68 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14089320 memory=5500 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14089320 memory=4460 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 73.99 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 221024 KiB

[startup+70.0007 s]*
/proc/loadavg: 2.20 2.11 2.06 3/217 7989
/proc/meminfo: memFree=26476580/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14089320 memory=219572 CPUtime=74.4 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 36059 0 0 0 7423 17 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3522330 54893 3428 1 0 3483524 0
[pid=7897/tid=7898] ppid=7895 vsize=14089320 memory=8112282956445269571 CPUtime=69.92 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 10129 0 0 0 6985 7 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348864650808 140348481478346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14089320 memory=4126316290023845779 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 630 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14089320 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 2035 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14089320 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14089320 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1086 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347973088480 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14089320 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347972035328 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14089320 memory=4206186544037388384 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14089320 memory=6943526294502006880 CPUtime=1.73 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 6672 0 0 0 172 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14089320 memory=6655300316396806240 CPUtime=1.88 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 6852 0 0 0 187 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14089320 memory=7976406965554101975 CPUtime=0.69 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 5586 0 0 0 68 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14089320 memory=8766699104683254634 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14089320 memory=7510432583741839257 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 74.4 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 221024 KiB

[startup+70.1101 s]
/proc/loadavg: 2.20 2.11 2.06 3/217 7989
/proc/meminfo: memFree=26476580/32770624 swapFree=67108496/67108860
[pid=7895] ppid=7892 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7895/stat : 7895 (xcsp3-exec) S 7892 7895 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105599002 115843072 363 33554432000 4194304 5098028 140720907345232 140720907343336 140711806333564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12075008 140720907351105 140720907351305 140720907351305 140720907354058 0
/proc/7895/statm: 28282 363 305 221 0 87 0
[pid=7897] ppid=7895 vsize=14089320 memory=219572 CPUtime=74.5 cores=0,2,4,6
/proc/7897/stat : 7897 (java) S 7895 7895 7585 0 -1 1077944320 36060 0 0 0 7433 17 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140725829415168 140348860411639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
/proc/7897/statm: 3522330 54893 3428 1 0 3483524 0
[pid=7897/tid=7898] ppid=7895 vsize=14089320 memory=1452 CPUtime=70.02 cores=0,2,4,6
/proc/7897/task/7898/stat : 7898 (java) R 7895 7895 7585 0 -1 4202560 10130 0 0 0 6995 7 0 0 20 0 15 0 105599002 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348864650808 140348482580565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7899] ppid=7895 vsize=14089320 memory=219572 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7899/stat : 7899 (java) S 7895 7895 7585 0 -1 1077944384 630 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348798012432 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7900] ppid=7895 vsize=14089320 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7900/stat : 7900 (java) S 7895 7895 7585 0 -1 1077944384 2035 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348796959888 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7901] ppid=7895 vsize=14089320 memory=219572 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7901/stat : 7901 (java) S 7895 7895 7585 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348795906832 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7902] ppid=7895 vsize=14089320 memory=288230574492221466 CPUtime=0.02 cores=0,2,4,6
/proc/7897/task/7902/stat : 7902 (java) S 7895 7895 7585 0 -1 1077944384 1086 0 0 0 1 1 0 0 20 0 15 0 105599003 14427463680 54893 33554432000 4194304 4196468 140725829432624 140348452510608 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7903] ppid=7895 vsize=14089320 memory=288230583166042426 CPUtime=0.01 cores=0,2,4,6
/proc/7897/task/7903/stat : 7903 (java) S 7895 7895 7585 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347974142192 140348860422786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7904] ppid=7895 vsize=14089320 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7904/stat : 7904 (java) S 7895 7895 7585 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347973088480 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7905] ppid=7895 vsize=14089320 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7905/stat : 7905 (java) S 7895 7895 7585 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 105599005 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347972035328 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7906] ppid=7895 vsize=14089320 memory=213448 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7906/stat : 7906 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347970983888 140348860430235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7907] ppid=7895 vsize=14089320 memory=1452 CPUtime=1.73 cores=0,2,4,6
/proc/7897/task/7907/stat : 7907 (java) S 7895 7895 7585 0 -1 1077944384 6672 0 0 0 172 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347969932016 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7908] ppid=7895 vsize=14089320 memory=1452 CPUtime=1.88 cores=0,2,4,6
/proc/7897/task/7908/stat : 7908 (java) S 7895 7895 7585 0 -1 1077944384 6852 0 0 0 187 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347968879472 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7909] ppid=7895 vsize=14089320 memory=219572 CPUtime=0.69 cores=0,2,4,6
/proc/7897/task/7909/stat : 7909 (java) S 7895 7895 7585 0 -1 1077944384 5586 0 0 0 68 1 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347967826416 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7910] ppid=7895 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7910/stat : 7910 (java) S 7895 7895 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347966774112 140348860421845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
[pid=7897/tid=7911] ppid=7895 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7897/task/7911/stat : 7911 (java) S 7895 7895 7585 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 105599008 14427463680 54893 33554432000 4194304 4196468 140725829432624 140347965721136 140348860422786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 30760960 140725829440652 140725829440822 140725829440822 140725829443535 0
Current children cumulated CPU time: 74.5 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 221024 KiB

Child status: 0
Real time (s): 70.1759
CPU time (s): 74.5843
CPU user time (s): 74.399
CPU system time (s): 0.185334
CPU usage (%): 106.282
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 223096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.399
system time used= 0.185334
maximum resident set size= 221644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4097
involuntary context switches= 106


# summary of solver processes directly reported to runsolver:
#   pid: 7895
#   total CPU time (s): 74.5843
#   total CPU user time (s): 74.399
#   total CPU system time (s): 0.185334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.425986 second user time and 0.680288 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	18.7203
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4301396

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
