2017 XCSP3 competition: fast COP track (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)	63	246.28999	240.036
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 (14986 MiB free)
  memory of node 1: 16384 MiB (15245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270102-1502620771/watcher-4270102-1502620771 -o /tmp/evaluation-result-4270102-1502620771/solver-4270102-1502620771 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 455828926 HOME/instance-4270102-1502620771.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=24342, runsolver pid=24339

[startup+0.100162 s]*
/proc/loadavg: 1.66 1.62 1.74 3/205 24352
/proc/meminfo: memFree=30949512/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13574484 memory=19356 CPUtime=0.04 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 4203 0 0 0 3 1 0 0 20 0 9 0 64297776 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3393621 4839 2105 1 0 3383118 0
[pid=24344/tid=24345] ppid=24342 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 2908 0 0 0 3 0 0 0 20 0 9 0 64297776 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140064243703376 140064239490205 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64297777 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13574484 memory=288370977463965312 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64297777 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64297777 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64297777 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13574484 memory=140601312253568 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64297778 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64297779 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140063784059936 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64297779 13900271616 4839 18446744073709551615 4194304 4196468 140722702697072 140063715353456 140064239478485 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20732 KiB

[startup+0.209741 s]*
/proc/loadavg: 1.66 1.62 1.74 4/211 24358
/proc/meminfo: memFree=30941352/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13974352 memory=28508 CPUtime=0.14 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 5542 0 0 0 13 1 0 0 20 0 15 0 64297776 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3493588 7127 2853 1 0 3482964 0
[pid=24344/tid=24345] ppid=24342 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) S 24342 24342 897 0 -1 1077944384 3468 0 0 0 9 0 0 0 20 0 15 0 64297776 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140064243697808 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13974352 memory=288370977463965312 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64297777 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13974352 memory=140601312253568 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64297778 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64297779 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063784059936 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64297779 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063715353456 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) R 24342 24342 897 0 -1 4202560 329 0 0 0 0 0 0 0 20 0 15 0 64297782 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063713249344 140064222904017 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) R 24342 24342 897 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 64297782 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063712197456 140064239478485 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13974352 memory=140601312253568 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) S 24342 24342 897 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 64297782 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13974352 memory=140601312253568 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297786 14309736448 7127 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29884 KiB

[startup+0.311282 s]*
/proc/loadavg: 1.66 1.62 1.74 3/211 24358
/proc/meminfo: memFree=30928296/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13978608 memory=39992 CPUtime=0.33 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 9270 0 0 0 30 3 0 0 20 0 15 0 64297776 14314094592 9998 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3494652 9998 3001 1 0 3482964 0
[pid=24344/tid=24345] ppid=24342 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 6397 0 0 0 18 2 0 0 20 0 15 0 64297776 14314094592 9998 18446744073709551615 4194304 4196468 140722702697072 140064243689272 140064223548766 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314094592 9998 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64297777 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64297778 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64297779 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063784059936 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64297779 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063715353456 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) S 24342 24342 897 0 -1 1077944384 570 0 0 0 2 0 0 0 20 0 15 0 64297782 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063713250160 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) S 24342 24342 897 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 64297782 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063712197360 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) R 24342 24342 897 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 15 0 64297782 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239489626 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297786 14314094592 10054 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41368 KiB

[startup+0.705971 s]
/proc/loadavg: 1.66 1.62 1.74 5/211 24358
/proc/meminfo: memFree=30906240/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13978684 memory=89976 CPUtime=1.36 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 13104 0 0 0 130 6 0 0 20 0 15 0 64297776 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3494671 22494 3154 1 0 3482964 0
[pid=24344/tid=24345] ppid=24342 vsize=13978684 memory=7595995151879202156 CPUtime=0.59 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) S 24342 24342 897 0 -1 1077944384 7842 0 0 0 55 4 0 0 20 0 15 0 64297776 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140064243702752 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297777 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64297777 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64297778 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64297779 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063784059936 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64297779 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063715353456 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) R 24342 24342 897 0 -1 4202560 1534 0 0 0 22 0 0 0 20 0 15 0 64297782 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063713250256 140064220996332 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13978684 memory=2529 CPUtime=0.25 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) R 24342 24342 897 0 -1 4202560 975 0 0 0 25 0 0 0 20 0 15 0 64297782 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063712189280 140064223371350 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13978684 memory=2000 CPUtime=0.27 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) R 24342 24342 897 0 -1 4202560 1447 0 0 0 27 0 0 0 20 0 15 0 64297782 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063711141496 140064223994617 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13978684 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13978684 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64297786 14314172416 22494 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 91352 KiB

[startup+1.50101 s]
/proc/loadavg: 1.77 1.65 1.75 6/211 24358
/proc/meminfo: memFree=30762700/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13980732 memory=239552 CPUtime=3.95 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 16876 0 0 0 382 13 0 0 20 0 15 0 64297776 14316269568 59888 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3495183 59888 3208 1 0 3483476 0
[pid=24344/tid=24345] ppid=24342 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 8464 0 0 0 127 5 0 0 20 0 15 0 64297776 14316269568 59888 18446744073709551615 4194304 4196468 140722702697072 140064243705792 140064221117146 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 15 0 64297777 14316269568 59888 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.03 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 15 0 64297777 14316269568 59888 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13980732 memory=151400 CPUtime=0.04 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 49 0 0 0 3 1 0 0 20 0 15 0 64297777 14316269568 59888 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13980732 memory=1200 CPUtime=0.04 cores=0,2,4,6

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

/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063715353472 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13980732 memory=73 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13980732 memory=503 CPUtime=2.24 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) S 24342 24342 897 0 -1 1077944384 6773 0 0 0 223 1 0 0 20 0 15 0 64297782 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063713250160 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13980732 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) S 24342 24342 897 0 -1 1077944384 8047 0 0 0 254 1 0 0 20 0 15 0 64297782 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063712197360 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13980732 memory=2210692 CPUtime=0.73 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) S 24342 24342 897 0 -1 1077944384 5948 0 0 0 72 1 0 0 20 0 15 0 64297782 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13980732 memory=2087480 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13980732 memory=143100861274916 CPUtime=0.05 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 631 0 0 0 2 3 0 0 20 0 15 0 64297786 14316269568 553715 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 108.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2216236 KiB

[startup+162.301 s]
/proc/loadavg: 1.87 1.72 1.76 3/211 24440
/proc/meminfo: memFree=27532716/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13980732 memory=3444992 CPUtime=168.48 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 49111 0 0 0 16767 81 0 0 20 0 15 0 64297776 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3495183 861248 3250 1 0 3483476 0
[pid=24344/tid=24345] ppid=24342 vsize=13980732 memory=3444992 CPUtime=161.92 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 18674 0 0 0 16142 50 0 0 20 0 15 0 64297776 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140064243705120 140063874432278 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13980732 memory=3444992 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 383 0 0 0 15 5 0 0 20 0 15 0 64297777 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13980732 memory=3444992 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 931 0 0 0 14 6 0 0 20 0 15 0 64297777 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 493 0 0 0 15 5 0 0 20 0 15 0 64297777 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.21 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 1130 0 0 0 16 5 0 0 20 0 15 0 64297777 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13980732 memory=3444992 CPUtime=0.01 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2695 0 0 0 1 0 0 0 20 0 15 0 64297778 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063784060000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063715353472 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13980732 memory=1376 CPUtime=2.24 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) S 24342 24342 897 0 -1 1077944384 7026 0 0 0 223 1 0 0 20 0 15 0 64297782 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063713250160 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13980732 memory=3444992 CPUtime=2.59 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) S 24342 24342 897 0 -1 1077944384 8563 0 0 0 258 1 0 0 20 0 15 0 64297782 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063712197360 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13980732 memory=3444992 CPUtime=0.74 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) S 24342 24342 897 0 -1 1077944384 7248 0 0 0 73 1 0 0 20 0 15 0 64297782 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.07 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 635 0 0 0 3 4 0 0 20 0 15 0 64297786 14316269568 861248 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 168.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3446368 KiB

[startup+222.301 s]
/proc/loadavg: 1.85 1.74 1.77 3/211 24442
/proc/meminfo: memFree=27610284/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13980732 memory=3395740 CPUtime=228.53 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 53224 0 0 0 22769 84 0 0 20 0 15 0 64297776 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3495183 848935 3250 1 0 3483476 0
[pid=24344/tid=24345] ppid=24342 vsize=13980732 memory=3395740 CPUtime=221.91 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 21415 0 0 0 22141 50 0 0 20 0 15 0 64297776 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064243707744 140063874245397 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 751 0 0 0 15 5 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.2 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 972 0 0 0 14 6 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.21 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 536 0 0 0 16 5 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.22 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 1180 0 0 0 16 6 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2908 0 0 0 2 0 0 0 20 0 15 0 64297778 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063784060000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063715353472 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13980732 memory=281202381662384 CPUtime=2.24 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) S 24342 24342 897 0 -1 1077944384 7030 0 0 0 223 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063713250160 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13980732 memory=3395740 CPUtime=2.6 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) S 24342 24342 897 0 -1 1077944384 9175 0 0 0 259 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063712197360 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13980732 memory=1376 CPUtime=0.74 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) S 24342 24342 897 0 -1 1077944384 7251 0 0 0 73 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13980732 memory=3472468879430461967 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.1 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 673 0 0 0 4 6 0 0 20 0 15 0 64297786 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 228.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3397116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.89 1.76 1.77 3/211 24444
/proc/meminfo: memFree=27612880/32770624 swapFree=67108860/67108860
[pid=24342] ppid=24339 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24342/stat : 24342 (xcsp3-exec) S 24339 24342 897 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 64297770 9740288 344 18446744073709551615 4194304 5098028 140731266726976 140731266725080 139682743497340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 20934656 140731266728319 140731266728522 140731266728522 140731266732011 0
/proc/24342/statm: 2378 344 289 221 0 87 0
[pid=24344] ppid=24342 vsize=13980732 memory=3395740 CPUtime=246.25 cores=0,2,4,6
/proc/24344/stat : 24344 (java) S 24342 24342 897 0 -1 1077944320 54029 0 0 0 24541 84 0 0 20 0 15 0 64297776 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140722702679616 140064239468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
/proc/24344/statm: 3495183 848935 3250 1 0 3483476 0
[pid=24344/tid=24345] ppid=24342 vsize=13980732 memory=-8774313645642428999 CPUtime=239.62 cores=0,2,4,6
/proc/24344/task/24345/stat : 24345 (java) R 24342 24342 897 0 -1 4202560 22064 0 0 0 23912 50 0 0 20 0 15 0 64297776 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064243707128 140063874547639 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24346] ppid=24342 vsize=13980732 memory=4872558044660077418 CPUtime=0.21 cores=0,2,4,6
/proc/24344/task/24346/stat : 24346 (java) S 24342 24342 897 0 -1 1077944384 751 0 0 0 16 5 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064196435088 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24347] ppid=24342 vsize=13980732 memory=1012 CPUtime=0.21 cores=0,2,4,6
/proc/24344/task/24347/stat : 24347 (java) S 24342 24342 897 0 -1 1077944384 973 0 0 0 15 6 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064195382288 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24348] ppid=24342 vsize=13980732 memory=10164 CPUtime=0.21 cores=0,2,4,6
/proc/24344/task/24348/stat : 24348 (java) S 24342 24342 897 0 -1 1077944384 536 0 0 0 16 5 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064194329488 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24349] ppid=24342 vsize=13980732 memory=1440 CPUtime=0.22 cores=0,2,4,6
/proc/24344/task/24349/stat : 24349 (java) S 24342 24342 897 0 -1 1077944384 1181 0 0 0 16 6 0 0 20 0 15 0 64297777 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140064193276688 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24350] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.02 cores=0,2,4,6
/proc/24344/task/24350/stat : 24350 (java) S 24342 24342 897 0 -1 1077944384 2910 0 0 0 2 0 0 0 20 0 15 0 64297778 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063785113968 140064239479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24351] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24351/stat : 24351 (java) S 24342 24342 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063784060000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24352] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24352/stat : 24352 (java) S 24342 24342 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 64297779 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063715353472 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24353] ppid=24342 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24353/stat : 24353 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063714301776 140064239486875 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24354] ppid=24342 vsize=13980732 memory=1376 CPUtime=2.24 cores=0,2,4,6
/proc/24344/task/24354/stat : 24354 (java) S 24342 24342 897 0 -1 1077944384 7030 0 0 0 223 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063713250160 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24355] ppid=24342 vsize=13980732 memory=3395740 CPUtime=2.6 cores=0,2,4,6
/proc/24344/task/24355/stat : 24355 (java) S 24342 24342 897 0 -1 1077944384 9175 0 0 0 259 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063712197360 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24356] ppid=24342 vsize=13980732 memory=3395740 CPUtime=0.74 cores=0,2,4,6
/proc/24344/task/24356/stat : 24356 (java) S 24342 24342 897 0 -1 1077944384 7403 0 0 0 73 1 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063711144560 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24357] ppid=24342 vsize=13980732 memory=97 CPUtime=0 cores=0,2,4,6
/proc/24344/task/24357/stat : 24357 (java) S 24342 24342 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64297782 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063710092000 140064239478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
[pid=24344/tid=24358] ppid=24342 vsize=13980732 memory=6527837386056558384 CPUtime=0.11 cores=0,2,4,6
/proc/24344/task/24358/stat : 24358 (java) S 24342 24342 897 0 -1 1077944384 673 0 0 0 5 6 0 0 20 0 15 0 64297786 14316269568 848935 18446744073709551615 4194304 4196468 140722702697072 140063709039280 140064239479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34570240 140722702700983 140722702701158 140722702701158 140722702704591 0
Current children cumulated CPU time: 246.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3397116 KiB

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

[startup+240.019 s]
# the end of solver process 24342 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001811 s

[startup+240.036 s]
# the end of solver process 24344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.424 s, system=0.866246 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): 240.036
CPU time (s): 246.29
CPU user time (s): 245.424
CPU system time (s): 0.866246
CPU usage (%): 102.605
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3448008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.424
system time used= 0.866246
maximum resident set size= 3449804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8150
involuntary context switches= 473


# summary of solver processes directly reported to runsolver:
#   pid: 24342,24344
#   total CPU time (s): 246.29
#   total CPU user time (s): 245.424
#   total CPU system time (s): 0.866246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34704 second user time and 2.46307 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	59
Best CPU time to get the best result obtained on this benchmark	251.92101
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4270102

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
