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
OscaR - ALNS 2017-07-26	SAT (TO)	3	2520.1299	2481.53
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 (15212 MiB free)
  memory of node 1: 16384 MiB (14817 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273039-1502783020/watcher-4273039-1502783020 -o /tmp/evaluation-result-4273039-1502783020/solver-4273039-1502783020 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4849 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 74777188 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273039-1502783020.xml 

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

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


[startup+0.100195 s]*
/proc/loadavg: 1.65 1.52 1.46 3/206 21538
/proc/meminfo: memFree=30741304/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13573664 memory=17932 CPUtime=0.03 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 3917 0 0 0 3 0 0 0 20 0 9 0 177954686 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3393416 4483 2113 1 0 3382913 0
[pid=21529/tid=21531] ppid=21526 vsize=13573664 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 2547 0 0 0 3 0 0 0 20 0 9 0 177954692 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959632289656 139959621039494 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 177954693 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13573664 memory=140259475469952 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 177954693 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 177954693 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 177954693 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13573664 memory=140259475469952 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 177954694 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 177954695 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959173522592 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 177954695 13899431936 4483 18446744073709551615 4194304 4196468 140736819509664 139959172469488 139959628064469 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17932 KiB

[startup+0.209959 s]*
/proc/loadavg: 1.65 1.52 1.46 4/212 21544
/proc/meminfo: memFree=30733204/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13979532 memory=33960 CPUtime=0.11 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 7300 0 0 0 9 2 0 0 20 0 15 0 177954686 14315040768 8490 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3494883 8490 3386 1 0 3483662 0
[pid=21529/tid=21531] ppid=21526 vsize=13979532 memory=8318255677412212789 CPUtime=0.08 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 5496 0 0 0 7 1 0 0 20 0 15 0 177954692 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959632243712 139959620733981 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13979532 memory=329 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13979532 memory=3618841041181488800 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13979532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13979532 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 177954693 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13979532 memory=140259475469952 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 177954694 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13979532 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 177954695 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959173522592 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13979532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 177954695 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959172469488 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13979532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13979532 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 177954697 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13979532 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14315040768 8754 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13979532 memory=140259475469952 CPUtime=0.01 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 15 0 177954697 14315040768 9266 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13979532 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14315040768 9266 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13979532 memory=140259475469952 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954704 14315040768 9266 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13979532 KiB
Current children cumulated memory: 33960 KiB

[startup+0.319533 s]*
/proc/loadavg: 1.65 1.52 1.46 4/212 21544
/proc/meminfo: memFree=30721604/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13975920 memory=45020 CPUtime=0.28 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 10415 0 0 0 25 3 0 0 20 0 15 0 177954686 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3493980 11255 3618 1 0 3482759 0
[pid=21529/tid=21531] ppid=21526 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 8046 0 0 0 17 2 0 0 20 0 15 0 177954692 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959632268336 139959612134750 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 177954693 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 177954694 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 177954695 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959173522592 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 177954695 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959172469488 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 15 0 177954697 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 15 0 177954697 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13975920 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 381 0 0 0 5 0 0 0 20 0 15 0 177954697 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954704 14311342080 11255 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 45020 KiB

[startup+0.701566 s]
/proc/loadavg: 1.65 1.52 1.46 4/212 21544
/proc/meminfo: memFree=30707372/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13977988 memory=72792 CPUtime=1.12 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 13334 0 0 0 107 5 0 0 20 0 15 0 177954686 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3494497 18198 3729 1 0 3483271 0
[pid=21529/tid=21531] ppid=21526 vsize=13977988 memory=1836 CPUtime=0.56 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 9720 0 0 0 53 3 0 0 20 0 15 0 177954692 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959632289264 139959243775732 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13977988 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13977988 memory=2 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954693 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 177954693 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 177954694 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 177954695 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959173522592 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 177954695 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959172469488 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13977988 memory=44 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13977988 memory=211 CPUtime=0.16 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) R 21526 21529 7084 0 -1 4202560 723 0 0 0 16 0 0 0 20 0 15 0 177954697 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959170352216 139959609575459 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13977988 memory=140259337845793 CPUtime=0.14 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) R 21526 21529 7084 0 -1 4202560 586 0 0 0 14 0 0 0 20 0 15 0 177954697 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959169302912 139959609598821 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13977988 memory=288230600329142066 CPUtime=0.23 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) R 21526 21529 7084 0 -1 4202560 923 0 0 0 23 0 0 0 20 0 15 0 177954697 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959168260720 139959621151099 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13977988 memory=13849655444265308 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 177954704 14313459712 18198 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 72792 KiB

[startup+1.50557 s]
/proc/loadavg: 1.65 1.52 1.46 6/212 21545
/proc/meminfo: memFree=30646792/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13980036 memory=296576 CPUtime=3.3 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 26200 0 0 0 316 14 0 0 20 0 15 0 177954686 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3495009 74144 3791 1 0 3483783 0
[pid=21529/tid=21531] ppid=21526 vsize=13980036 memory=76496 CPUtime=1.32 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 12913 0 0 0 125 7 0 0 20 0 15 0 177954692 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959632291344 139959250939296 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13980036 memory=227028 CPUtime=0.01 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 134 0 0 0 1 0 0 0 20 0 15 0 177954693 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13980036 memory=140259337819809 CPUtime=0.02 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 111 0 0 0 1 1 0 0 20 0 15 0 177954693 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13980036 memory=6872598998417432672 CPUtime=0.02 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 360 0 0 0 1 1 0 0 20 0 15 0 177954693 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 177954693 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 177954694 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 177954695 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959173522656 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 177954695 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959172469504 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13980036 memory=164 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13980036 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) R 21526 21529 7084 0 -1 4202560 2086 0 0 0 62 0 0 0 20 0 15 0 177954697 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959170358824 139959607897830 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13980036 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) R 21526 21529 7084 0 -1 4202560 2169 0 0 0 63 0 0 0 20 0 15 0 177954697 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959169300432 139959613219809 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13980036 memory=8772 CPUtime=0.6 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 6937 0 0 0 59 1 0 0 20 0 15 0 177954697 14315556864 74144 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0

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

/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 123137 0 0 0 236575 69 0 0 20 0 15 0 177954692 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959632292512 139959252629353 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13982084 memory=1642012 CPUtime=10.67 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 27926 0 0 0 1036 31 0 0 20 0 15 0 177954693 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13982084 memory=1645600 CPUtime=10.68 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 27710 0 0 0 1037 31 0 0 20 0 15 0 177954693 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13982084 memory=1645088 CPUtime=10.66 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 27258 0 0 0 1036 30 0 0 20 0 15 0 177954693 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13982084 memory=1643548 CPUtime=10.66 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 26285 0 0 0 1037 29 0 0 20 0 15 0 177954693 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13982084 memory=1642524 CPUtime=2.7 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 50438 0 0 0 231 39 0 0 20 0 15 0 177954694 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13982084 memory=1642012 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959173522656 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13982084 memory=1642524 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959172469504 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13982084 memory=1642012 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13982084 memory=2273 CPUtime=2.55 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 33050 0 0 0 252 3 0 0 20 0 15 0 177954697 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13982084 memory=1236 CPUtime=2.74 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 30150 0 0 0 271 3 0 0 20 0 15 0 177954697 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13982084 memory=2240 CPUtime=1.05 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 20540 0 0 0 102 3 0 0 20 0 15 0 177954697 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13982084 memory=1642524 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13982084 memory=4156 CPUtime=1.48 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 2583 0 0 0 74 74 0 0 20 0 15 0 177954704 14317654016 410503 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 2419.74 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1642012 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.54 1.46 3/213 21719
/proc/meminfo: memFree=28994580/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13982084 memory=1598388 CPUtime=2480.66 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 374676 0 0 0 247775 291 0 0 20 0 15 0 177954686 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3495521 399597 3835 1 0 3484295 0
[pid=21529/tid=21531] ppid=21526 vsize=13982084 memory=1598900 CPUtime=2425.99 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 124183 0 0 0 242530 69 0 0 20 0 15 0 177954692 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959632292080 139959252554619 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13982084 memory=1601996 CPUtime=10.98 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 28139 0 0 0 1067 31 0 0 20 0 15 0 177954693 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13982084 memory=1602508 CPUtime=10.99 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 27982 0 0 0 1068 31 0 0 20 0 15 0 177954693 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13982084 memory=1611744 CPUtime=10.97 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 27857 0 0 0 1067 30 0 0 20 0 15 0 177954693 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13982084 memory=1604048 CPUtime=10.97 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 26541 0 0 0 1067 30 0 0 20 0 15 0 177954693 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13982084 memory=1607128 CPUtime=2.79 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 52156 0 0 0 238 41 0 0 20 0 15 0 177954694 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13982084 memory=1603536 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959173522656 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13982084 memory=1598388 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959172469504 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13982084 memory=1598388 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13982084 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 33056 0 0 0 252 3 0 0 20 0 15 0 177954697 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13982084 memory=1598900 CPUtime=2.74 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 30154 0 0 0 271 3 0 0 20 0 15 0 177954697 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13982084 memory=-8774313645642428999 CPUtime=1.05 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 20544 0 0 0 102 3 0 0 20 0 15 0 177954697 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13982084 memory=1598388 CPUtime=1.53 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 2612 0 0 0 76 77 0 0 20 0 15 0 177954704 14317654016 399597 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 2480.66 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1598388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481.5 s]
/proc/loadavg: 1.96 1.63 1.49 3/217 21812
/proc/meminfo: memFree=27491188/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13982084 memory=1585052 CPUtime=2520.08 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 376076 0 0 0 251716 292 0 0 20 0 15 0 177954686 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3495521 396263 3835 1 0 3484295 0
[pid=21529/tid=21531] ppid=21526 vsize=13982084 memory=1589672 CPUtime=2465.07 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 124829 0 0 0 246437 70 0 0 20 0 15 0 177954692 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959632292128 139959253690362 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13982084 memory=1589156 CPUtime=11.07 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 28229 0 0 0 1075 32 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13982084 memory=1586080 CPUtime=11.06 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 28008 0 0 0 1075 31 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13982084 memory=1585052 CPUtime=11.04 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 27883 0 0 0 1074 30 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13982084 memory=1585052 CPUtime=11.05 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 26650 0 0 0 1075 30 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13982084 memory=1585052 CPUtime=2.81 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 52503 0 0 0 240 41 0 0 20 0 15 0 177954694 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13982084 memory=1585052 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959173522656 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959172469504 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13982084 memory=1588132 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13982084 memory=1588132 CPUtime=2.55 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 33060 0 0 0 252 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13982084 memory=2008 CPUtime=2.74 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 30159 0 0 0 271 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13982084 memory=11392 CPUtime=1.05 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 20641 0 0 0 102 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13982084 memory=1585052 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13982084 memory=-8774313645642428999 CPUtime=1.56 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 2662 0 0 0 78 78 0 0 20 0 15 0 177954704 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1585052 KiB

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

[startup+2481.53 s]
# the end of solver process 21529 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.19 s, system=2.93864 s

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

[startup+2481.5 s]
/proc/loadavg: 1.96 1.63 1.49 3/217 21812
/proc/meminfo: memFree=27491188/32770624 swapFree=67108776/67108860
[pid=21529] ppid=21526 vsize=13982084 memory=1585052 CPUtime=2520.08 cores=0,2,4,6
/proc/21529/stat : 21529 (java) S 21526 21529 7084 0 -1 1077944320 376076 0 0 0 251716 292 0 0 20 0 15 0 177954686 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 140736819492208 139959628054263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
/proc/21529/statm: 3495521 396263 3835 1 0 3484295 0
[pid=21529/tid=21531] ppid=21526 vsize=13982084 memory=1589672 CPUtime=2465.07 cores=0,2,4,6
/proc/21529/task/21531/stat : 21531 (java) R 21526 21529 7084 0 -1 4202560 124829 0 0 0 246437 70 0 0 20 0 15 0 177954692 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959632292128 139959253690362 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21532] ppid=21526 vsize=13982084 memory=1589156 CPUtime=11.07 cores=0,2,4,6
/proc/21529/task/21532/stat : 21532 (java) S 21526 21529 7084 0 -1 1077944384 28229 0 0 0 1075 32 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959228611600 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21533] ppid=21526 vsize=13982084 memory=1586080 CPUtime=11.06 cores=0,2,4,6
/proc/21529/task/21533/stat : 21533 (java) S 21526 21529 7084 0 -1 1077944384 28008 0 0 0 1075 31 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959227559056 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21534] ppid=21526 vsize=13982084 memory=1585052 CPUtime=11.04 cores=0,2,4,6
/proc/21529/task/21534/stat : 21534 (java) S 21526 21529 7084 0 -1 1077944384 27883 0 0 0 1074 30 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959226506000 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21535] ppid=21526 vsize=13982084 memory=1585052 CPUtime=11.05 cores=0,2,4,6
/proc/21529/task/21535/stat : 21535 (java) S 21526 21529 7084 0 -1 1077944384 26650 0 0 0 1075 30 0 0 20 0 15 0 177954693 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959225453456 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21536] ppid=21526 vsize=13982084 memory=1585052 CPUtime=2.81 cores=0,2,4,6
/proc/21529/task/21536/stat : 21536 (java) S 21526 21529 7084 0 -1 1077944384 52503 0 0 0 240 41 0 0 20 0 15 0 177954694 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959174576368 139959628065410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21537] ppid=21526 vsize=13982084 memory=1585052 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21537/stat : 21537 (java) S 21526 21529 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959173522656 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21538] ppid=21526 vsize=13982084 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21538/stat : 21538 (java) S 21526 21529 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 177954695 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959172469504 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21539] ppid=21526 vsize=13982084 memory=1588132 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21539/stat : 21539 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959171418064 139959628072859 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21540] ppid=21526 vsize=13982084 memory=1588132 CPUtime=2.55 cores=0,2,4,6
/proc/21529/task/21540/stat : 21540 (java) S 21526 21529 7084 0 -1 1077944384 33060 0 0 0 252 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959170366192 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21541] ppid=21526 vsize=13982084 memory=2008 CPUtime=2.74 cores=0,2,4,6
/proc/21529/task/21541/stat : 21541 (java) S 21526 21529 7084 0 -1 1077944384 30159 0 0 0 271 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959169313648 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21542] ppid=21526 vsize=13982084 memory=11392 CPUtime=1.05 cores=0,2,4,6
/proc/21529/task/21542/stat : 21542 (java) S 21526 21529 7084 0 -1 1077944384 20641 0 0 0 102 3 0 0 20 0 15 0 177954697 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959168260592 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21543] ppid=21526 vsize=13982084 memory=1585052 CPUtime=0 cores=0,2,4,6
/proc/21529/task/21543/stat : 21543 (java) S 21526 21529 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 177954698 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959167208288 139959628064469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
[pid=21529/tid=21544] ppid=21526 vsize=13982084 memory=-8774313645642428999 CPUtime=1.56 cores=0,2,4,6
/proc/21529/task/21544/stat : 21544 (java) S 21526 21529 7084 0 -1 1077944384 2662 0 0 0 78 78 0 0 20 0 15 0 177954704 14317654016 396263 18446744073709551615 4194304 4196468 140736819509664 139959166155312 139959628065410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140736819515766 140736819515945 140736819515945 140736819519439 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1585052 KiB

Child status: 143
Real time (s): 2481.53
CPU time (s): 2520.13
CPU user time (s): 2517.19
CPU system time (s): 2.93864
CPU usage (%): 101.555
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3473568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.93864
maximum resident set size= 3477212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121956
involuntary context switches= 7626


# summary of solver processes directly reported to runsolver:
#   pid: 21529
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2517.19
#   total CPU system time (s): 2.93864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6342 second user time and 23.8825 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml
MD5SUM	a2156ca8d664195666e0b5da895e2590
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	2.9995999
Satisfiable
(Un)Satisfiability was proved
Number of variables	662
Number of constraints	4181
Number of domains	1
Minimum domain size	662
Maximum domain size	662
Distribution of domain sizes	[{"size":662,"count":662}]
Minimum variable degree	2
Maximum variable degree	24
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":7,"count":6},{"degree":8,"count":4},{"degree":9,"count":32},{"degree":10,"count":59},{"degree":11,"count":48},{"degree":12,"count":58},{"degree":13,"count":88},{"degree":14,"count":129},{"degree":15,"count":115},{"degree":16,"count":41},{"degree":17,"count":31},{"degree":18,"count":16},{"degree":19,"count":14},{"degree":20,"count":4},{"degree":21,"count":6},{"degree":22,"count":4},{"degree":23,"count":4},{"degree":24,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4181}]
Number of extensional constraints	0
Number of intensional constraints	4181
Distribution of constraint types	[{"type":"intension","count":4181}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4273039

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
