2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	40	2520.1001	2506.22
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 (9570 MiB free)
  memory of node 1: 16384 MiB (15560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269118-1502715172/watcher-4269118-1502715172 -o /tmp/evaluation-result-4269118-1502715172/solver-4269118-1502715172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 276825615 HOME/instance-4269118-1502715172.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100307 s]*
/proc/loadavg: 1.93 1.78 1.70 3/202 2392
/proc/meminfo: memFree=25733092/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13356504 memory=10656 CPUtime=0 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 2420 0 0 0 0 0 0 0 20 0 6 0 119023725 13677060096 2664 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3339126 2664 1203 1 0 3329096 0
[pid=2391/tid=2392] ppid=2389 vsize=13356504 memory=8508281356421924513 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 1077944384 1336 0 0 0 0 0 0 0 20 0 6 0 119023725 13677060096 2801 18446744073709551615 4194304 4196468 140732445209856 140284559880784 140284555668541 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13356504 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 119023726 13677060096 2801 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13356504 memory=139932998694528 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 119023726 13677060096 2801 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 119023726 13679321088 2801 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 119023726 13679321088 2801 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12036 KiB

[startup+0.211143 s]*
/proc/loadavg: 1.93 1.78 1.70 4/215 2405
/proc/meminfo: memFree=25717432/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13974352 memory=27456 CPUtime=0.1 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 5271 0 0 0 9 1 0 0 20 0 15 0 119023725 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3493588 6864 2753 1 0 3482964 0
[pid=2391/tid=2392] ppid=2389 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 3417 0 0 0 7 1 0 0 20 0 15 0 119023725 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284559872896 140284555666589 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13974352 memory=3617990826559403680 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13974352 memory=139932998694528 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023727 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119023728 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284032701856 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119023728 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284031649264 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 119023730 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13974352 memory=139932998694528 CPUtime=0.01 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) S 2389 2389 4674 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 119023731 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13974352 memory=139932998694528 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023734 14309736448 6864 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28836 KiB

[startup+0.310223 s]*
/proc/loadavg: 1.93 1.78 1.70 4/215 2405
/proc/meminfo: memFree=25706760/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13974352 memory=37188 CPUtime=0.28 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 8892 0 0 0 26 2 0 0 20 0 15 0 119023725 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3493588 9297 2988 1 0 3482964 0
[pid=2391/tid=2392] ppid=2389 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 6117 0 0 0 16 2 0 0 20 0 15 0 119023725 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284559871168 140284555666589 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023727 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119023728 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284032701856 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119023728 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284031649264 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) R 2389 2389 4674 0 -1 4202560 539 0 0 0 2 0 0 0 20 0 15 0 119023730 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284541255860 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) R 2389 2389 4674 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 119023731 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) R 2389 2389 4674 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 119023731 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555656598 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023734 14309736448 9297 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38568 KiB

[startup+0.701002 s]
/proc/loadavg: 1.93 1.78 1.70 5/215 2405
/proc/meminfo: memFree=25686976/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13978684 memory=81720 CPUtime=1.31 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 13075 0 0 0 127 4 0 0 20 0 15 0 119023725 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3494671 20430 3148 1 0 3482964 0
[pid=2391/tid=2392] ppid=2389 vsize=13978684 memory=1524 CPUtime=0.55 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 7837 0 0 0 52 3 0 0 20 0 15 0 119023725 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284559881000 140284187702135 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023726 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13978684 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119023726 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13978684 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119023727 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13978684 memory=5450916479880885802 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119023728 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284032701856 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13978684 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119023728 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284031649264 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13978684 memory=-8412654363917126771 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13978684 memory=-8412654363917126771 CPUtime=0.25 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 1587 0 0 0 25 0 0 0 20 0 15 0 119023730 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 873 0 0 0 23 0 0 0 20 0 15 0 119023731 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) R 2389 2389 4674 0 -1 4202560 1469 0 0 0 26 0 0 0 20 0 15 0 119023731 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284027433696 140284534943584 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13978684 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119023734 14314172416 20430 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83100 KiB

[startup+1.50085 s]
/proc/loadavg: 2.09 1.81 1.71 5/215 2405
/proc/meminfo: memFree=25547408/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13980732 memory=230248 CPUtime=3.88 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 15552 0 0 0 376 12 0 0 20 0 15 0 119023725 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3495183 57562 3213 1 0 3483476 0
[pid=2391/tid=2392] ppid=2389 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 8470 0 0 0 124 5 0 0 20 0 15 0 119023725 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284559883264 140284190423024 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 119023726 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 119 0 0 0 2 1 0 0 20 0 15 0 119023726 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 15 0 119023726 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13980732 memory=139932853214640 CPUtime=0.02 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 15 0 119023726 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 119023727 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 57562 18446744073709551615 4194304 4196468 140732445209856 140284032701920 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13980732 memory=82 CPUtime=0 cores=1,3,5,7

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

/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284031649280 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13980732 memory=1324120 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13980732 memory=4064 CPUtime=2.85 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 16511 0 0 0 283 2 0 0 20 0 15 0 119023730 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.96 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 13840 0 0 0 294 2 0 0 20 0 15 0 119023731 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13980732 memory=2308 CPUtime=0.77 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) S 2389 2389 4674 0 -1 1077944384 14156 0 0 0 76 1 0 0 20 0 15 0 119023731 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13980732 memory=1380 CPUtime=1 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1725 0 0 0 40 60 0 0 20 0 15 0 119023734 14316269568 331030 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 2395.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1325500 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.49 1.50 3/215 2657
/proc/meminfo: memFree=29876516/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13980732 memory=1328324 CPUtime=2455.84 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 157491 0 0 0 245418 166 0 0 20 0 15 0 119023725 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3495183 332081 3247 1 0 3483476 0
[pid=2391/tid=2392] ppid=2389 vsize=13980732 memory=1328324 CPUtime=2436.39 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 52238 0 0 0 243609 30 0 0 20 0 15 0 119023725 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284559884272 140284192480646 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13980732 memory=1326276 CPUtime=2.57 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 7741 0 0 0 237 20 0 0 20 0 15 0 119023726 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.55 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 9431 0 0 0 235 20 0 0 20 0 15 0 119023726 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13980732 memory=1326276 CPUtime=2.56 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 12166 0 0 0 238 18 0 0 20 0 15 0 119023726 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13980732 memory=1326176 CPUtime=2.57 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 11462 0 0 0 237 20 0 0 20 0 15 0 119023726 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13980732 memory=1328324 CPUtime=1.5 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 16807 0 0 0 137 13 0 0 20 0 15 0 119023727 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13980732 memory=1328324 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284032701920 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13980732 memory=1328324 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284031649280 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13980732 memory=102 CPUtime=2.85 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 16515 0 0 0 283 2 0 0 20 0 15 0 119023730 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13980732 memory=245565 CPUtime=2.96 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 13844 0 0 0 294 2 0 0 20 0 15 0 119023731 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13980732 memory=1728 CPUtime=0.77 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) S 2389 2389 4674 0 -1 1077944384 14202 0 0 0 76 1 0 0 20 0 15 0 119023731 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13980732 memory=34540 CPUtime=1.03 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1751 0 0 0 42 61 0 0 20 0 15 0 119023734 14316269568 332081 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 2455.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1329704 KiB

[startup+2502.3 s]
/proc/loadavg: 1.59 1.53 1.51 3/218 2673
/proc/meminfo: memFree=27071740/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13980732 memory=1334664 CPUtime=2516.15 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 159922 0 0 0 251445 170 0 0 20 0 15 0 119023725 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3495183 333666 3247 1 0 3483476 0
[pid=2391/tid=2392] ppid=2389 vsize=13980732 memory=4148 CPUtime=2496.17 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 53040 0 0 0 249586 31 0 0 20 0 15 0 119023725 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284559884432 140284193249162 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 8036 0 0 0 248 20 0 0 20 0 15 0 119023726 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13980732 memory=1334664 CPUtime=2.67 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 10168 0 0 0 246 21 0 0 20 0 15 0 119023726 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13980732 memory=1334628 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 12273 0 0 0 249 19 0 0 20 0 15 0 119023726 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 11551 0 0 0 247 21 0 0 20 0 15 0 119023726 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13980732 memory=1334628 CPUtime=1.56 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 17166 0 0 0 142 14 0 0 20 0 15 0 119023727 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13980732 memory=1334628 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284032701920 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13980732 memory=1332548 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284031649280 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13980732 memory=1334628 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.85 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 16519 0 0 0 283 2 0 0 20 0 15 0 119023730 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13980732 memory=1334664 CPUtime=2.96 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 13848 0 0 0 294 2 0 0 20 0 15 0 119023731 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13980732 memory=1380 CPUtime=0.77 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) S 2389 2389 4674 0 -1 1077944384 14206 0 0 0 76 1 0 0 20 0 15 0 119023731 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13980732 memory=1334664 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13980732 memory=1334664 CPUtime=1.05 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1781 0 0 0 43 62 0 0 20 0 15 0 119023734 14316269568 333666 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 2516.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1336044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.2 s]
/proc/loadavg: 1.59 1.53 1.51 3/218 2674
/proc/meminfo: memFree=27071512/32770624 swapFree=67108764/67108860
[pid=2389] ppid=2386 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2389/stat : 2389 (xcsp3-exec) S 2386 2389 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 119023715 9740288 345 18446744073709551615 4194304 5098028 140728878860160 140728878858264 139740484956796 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 29159424 140728878862713 140728878862917 140728878862917 140728878866411 0
/proc/2389/statm: 2378 345 289 221 0 87 0
[pid=2391] ppid=2389 vsize=13980732 memory=1336712 CPUtime=2520.06 cores=1,3,5,7
/proc/2391/stat : 2391 (java) S 2389 2389 4674 0 -1 1077944320 159935 0 0 0 251836 170 0 0 20 0 15 0 119023725 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140732445192400 140284555644663 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
/proc/2391/statm: 3495183 334178 3247 1 0 3483476 0
[pid=2391/tid=2392] ppid=2389 vsize=13980732 memory=14978858180937582 CPUtime=2500.06 cores=1,3,5,7
/proc/2391/task/2392/stat : 2392 (java) R 2389 2389 4674 0 -1 4202560 53046 0 0 0 249975 31 0 0 20 0 15 0 119023725 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284559884272 140284193088755 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2393] ppid=2389 vsize=13980732 memory=288230617509003574 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2393/stat : 2393 (java) S 2389 2389 4674 0 -1 1077944384 8037 0 0 0 248 20 0 0 20 0 15 0 119023726 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284512610576 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2394] ppid=2389 vsize=13980732 memory=14978858180937582 CPUtime=2.67 cores=1,3,5,7
/proc/2391/task/2394/stat : 2394 (java) S 2389 2389 4674 0 -1 1077944384 10171 0 0 0 246 21 0 0 20 0 15 0 119023726 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284511558032 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2395] ppid=2389 vsize=13980732 memory=7680170660397595203 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2395/stat : 2395 (java) S 2389 2389 4674 0 -1 1077944384 12274 0 0 0 249 19 0 0 20 0 15 0 119023726 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284510505488 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2396] ppid=2389 vsize=13980732 memory=4288 CPUtime=2.68 cores=1,3,5,7
/proc/2391/task/2396/stat : 2396 (java) S 2389 2389 4674 0 -1 1077944384 11553 0 0 0 247 21 0 0 20 0 15 0 119023726 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284509452944 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2397] ppid=2389 vsize=13980732 memory=1608 CPUtime=1.56 cores=1,3,5,7
/proc/2391/task/2397/stat : 2397 (java) S 2389 2389 4674 0 -1 1077944384 17166 0 0 0 142 14 0 0 20 0 15 0 119023727 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284033755632 140284555655810 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2398] ppid=2389 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2398/stat : 2398 (java) S 2389 2389 4674 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284032701920 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2399] ppid=2389 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2399/stat : 2399 (java) S 2389 2389 4674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 119023728 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284031649280 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2400] ppid=2389 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2400/stat : 2400 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023730 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284030597840 140284555663259 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2401] ppid=2389 vsize=13980732 memory=1380 CPUtime=2.85 cores=1,3,5,7
/proc/2391/task/2401/stat : 2401 (java) S 2389 2389 4674 0 -1 1077944384 16519 0 0 0 283 2 0 0 20 0 15 0 119023730 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284029544432 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2402] ppid=2389 vsize=13980732 memory=7680170660397595203 CPUtime=2.96 cores=1,3,5,7
/proc/2391/task/2402/stat : 2402 (java) S 2389 2389 4674 0 -1 1077944384 13848 0 0 0 294 2 0 0 20 0 15 0 119023731 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284028491888 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2403] ppid=2389 vsize=13980732 memory=3180 CPUtime=0.77 cores=1,3,5,7
/proc/2391/task/2403/stat : 2403 (java) S 2389 2389 4674 0 -1 1077944384 14206 0 0 0 76 1 0 0 20 0 15 0 119023731 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284027439344 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2404] ppid=2389 vsize=13980732 memory=3335720 CPUtime=0 cores=1,3,5,7
/proc/2391/task/2404/stat : 2404 (java) S 2389 2389 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119023731 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284026387040 140284555654869 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
[pid=2391/tid=2405] ppid=2389 vsize=13980732 memory=4116 CPUtime=1.05 cores=1,3,5,7
/proc/2391/task/2405/stat : 2405 (java) S 2389 2389 4674 0 -1 1077944384 1781 0 0 0 43 62 0 0 20 0 15 0 119023734 14316269568 334178 18446744073709551615 4194304 4196468 140732445209856 140284025334576 140284555655810 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 10170368 140732445213105 140732445213281 140732445213281 140732445216719 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1338092 KiB

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

[startup+2506.21 s]
# the end of solver process 2389 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001248 s, system=0.000624 s

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

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

Child status: 143
Real time (s): 2506.22
CPU time (s): 2520.1
CPU user time (s): 2518.38
CPU system time (s): 1.71858
CPU usage (%): 100.554
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1338092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.38
system time used= 1.71858
maximum resident set size= 1337236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97068
involuntary context switches= 5151


# summary of solver processes directly reported to runsolver:
#   pid: 2389,2391
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2518.38
#   total CPU system time (s): 1.71858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8691 second user time and 24.4142 second system time

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

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
