2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	29	2520.15	2465.96
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 (7517 MiB free)
  memory of node 1: 16384 MiB (6962 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293105-1532309374/watcher-4293105-1532309374 -o /tmp/evaluation-result-4293105-1532309374/solver-4293105-1532309374 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=225263069 HOME/instance-4293105-1532309374.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
Current StackSize limit: 8192 KiB

solver pid=9452, runsolver pid=9449

[startup+0.100061 s]*
/proc/loadavg: 1.73 1.39 1.34 6/203 9505
/proc/meminfo: memFree=14826328/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=9972712 memory=13388 CPUtime=0.07 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 3502 12938 0 0 0 0 5 2 20 0 6 0 48500533 10212057088 3347 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2493178 3347 1337 1 0 2481616 0
[pid=9452/tid=9505] ppid=9449 vsize=9972712 memory=-8457609212052422591 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 1499 12938 0 0 0 0 5 2 20 0 6 0 48500543 10212057088 3543 33554432000 4194304 4196468 140735029155360 139820710232656 139820661472229 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 6 0 48500543 10212057088 3543 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=9972712 memory=139818748352128 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 6 0 48500543 10212057088 3543 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 6 0 48500543 10212057088 3543 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 6 0 48500544 10212057088 3543 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 13388 KiB

[startup+0.210209 s]*
/proc/loadavg: 1.73 1.39 1.34 7/216 9518
/proc/meminfo: memFree=14801400/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10818904 memory=40548 CPUtime=0.25 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 7327 12938 0 0 16 2 5 2 20 0 15 0 48500533 11078557696 10137 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2704726 10137 2974 1 0 2667149 0
[pid=9452/tid=9505] ppid=9449 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 3883 12938 0 0 10 1 5 2 20 0 15 0 48500543 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820710214136 139820719959455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500543 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10818904 memory=139818748361833 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500544 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10818904 memory=139818748352128 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500545 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 13 12938 0 0 0 0 5 2 20 0 15 0 48500545 11078557696 10137 33554432000 4194304 4196468 140735029155360 139819774633504 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500546 11078557696 10137 33554432000 4194304 4196468 140735029155360 139819506197872 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11078557696 10137 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 484 12938 0 0 1 0 5 2 20 0 15 0 48500548 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 134 12938 0 0 0 0 5 2 20 0 15 0 48500548 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10818904 memory=139818748352128 CPUtime=0.1 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 610 12938 0 0 3 0 5 2 20 0 15 0 48500548 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11078557696 10137 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10818904 memory=139818748352128 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500549 11078557696 10137 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40548 KiB

[startup+0.310464 s]*
/proc/loadavg: 1.73 1.39 1.34 6/216 9518
/proc/meminfo: memFree=14787692/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10819352 memory=54228 CPUtime=0.37 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 10565 12938 0 0 28 2 5 2 20 0 15 0 48500533 11079016448 13557 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2704838 13557 3093 1 0 2667149 0
[pid=9452/tid=9505] ppid=9449 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 7182 12938 0 0 19 2 5 2 20 0 15 0 48500543 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820710207904 139820738417821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10819352 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500544 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500545 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 13 12938 0 0 0 0 5 2 20 0 15 0 48500545 11079016448 13623 33554432000 4194304 4196468 140735029155360 139819774633504 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500546 11079016448 13623 33554432000 4194304 4196468 140735029155360 139819506197872 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11079016448 13623 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 487 12938 0 0 1 0 5 2 20 0 15 0 48500548 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 138 12938 0 0 1 0 5 2 20 0 15 0 48500548 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10819352 memory=139818748352128 CPUtime=0.12 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 616 12938 0 0 5 0 5 2 20 0 15 0 48500548 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11079016448 13623 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10819352 memory=139818748352128 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500549 11079016448 13623 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54228 KiB

[startup+0.700818 s]
/proc/loadavg: 1.73 1.39 1.34 6/216 9518
/proc/meminfo: memFree=14777392/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10819352 memory=86600 CPUtime=0.98 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 16770 12938 0 0 87 4 5 2 20 0 15 0 48500533 11079016448 21650 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2704838 21650 3237 1 0 2667149 0
[pid=9452/tid=9505] ppid=9449 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 12172 12938 0 0 55 3 5 2 20 0 15 0 48500543 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820710218832 139820721741523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 2 12938 0 0 0 0 5 2 20 0 15 0 48500543 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500544 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 5 12938 0 0 0 0 5 2 20 0 15 0 48500545 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10819352 memory=139818633935824 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 13 12938 0 0 0 0 5 2 20 0 15 0 48500545 11079016448 21650 33554432000 4194304 4196468 140735029155360 139819774633504 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10819352 memory=139822660321891 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500546 11079016448 21650 33554432000 4194304 4196468 140735029155360 139819506197872 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10819352 memory=10416 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11079016448 21650 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10819352 memory=7234564758908855872 CPUtime=0.14 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 895 12938 0 0 7 0 5 2 20 0 15 0 48500548 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10819352 memory=7597685182856913236 CPUtime=0.17 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 819 12938 0 0 10 0 5 2 20 0 15 0 48500548 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10819352 memory=5787219346483269989 CPUtime=0.2 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 665 12938 0 0 13 0 5 2 20 0 15 0 48500548 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10819352 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11079016448 21650 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500549 11079016448 21650 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86600 KiB

[startup+1.50101 s]
/proc/loadavg: 1.73 1.39 1.34 7/216 9518
/proc/meminfo: memFree=14733976/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10834252 memory=186676 CPUtime=2.47 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 23874 12938 0 0 231 9 5 2 20 0 15 0 48500533 11094274048 46669 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2708563 46669 3474 1 0 2670221 0
[pid=9452/tid=9505] ppid=9449 vsize=10834252 memory=7157735280213840488 CPUtime=1.42 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 17360 12938 0 0 130 5 5 2 20 0 15 0 48500543 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820710193704 139820724534684 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10834252 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 19 12938 0 0 1 0 5 2 20 0 15 0 48500543 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 63 12938 0 0 1 0 5 2 20 0 15 0 48500543 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10834252 memory=279637267667264 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 169 12938 0 0 1 0 5 2 20 0 15 0 48500543 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10834252 memory=279637267718064 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 31 12938 0 0 1 0 5 2 20 0 15 0 48500544 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 51 12938 0 0 1 0 5 2 20 0 15 0 48500545 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 14 12938 0 0 0 0 5 2 20 0 15 0 48500545 11094274048 46669 33554432000 4194304 4196468 140735029155360 139819774633568 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10834252 memory=139818633875424 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500546 11094274048 46669 33554432000 4194304 4196468 140735029155360 139819506197888 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10834252 memory=139818633875456 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11094274048 46669 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10834252 memory=139818633875488 CPUtime=0.29 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 1200 12938 0 0 22 0 5 2 20 0 15 0 48500548 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10834252 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 1340 12938 0 0 30 0 5 2 20 0 15 0 48500548 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10834252 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 1432 12938 0 0 40 0 5 2 20 0 15 0 48500548 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10834252 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11094274048 46669 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10834252 memory=279637267992256 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1 12938 0 0 0 0 5 2 20 0 15 0 48500549 11094274048 46669 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834252 KiB

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

/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 631710 12938 0 0 237036 60 5 2 20 0 15 0 48500543 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820710231280 139820334300542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10916192 memory=3436676 CPUtime=10.18 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 27733 12938 0 0 916 95 5 2 20 0 15 0 48500543 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10916192 memory=3357284 CPUtime=10.25 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 22595 12938 0 0 926 92 5 2 20 0 15 0 48500543 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10916192 memory=279637269728992 CPUtime=10.23 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 29740 12938 0 0 925 91 5 2 20 0 15 0 48500543 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10916192 memory=3435240 CPUtime=10.16 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 26665 12938 0 0 918 91 5 2 20 0 15 0 48500544 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10916192 memory=4128 CPUtime=0.67 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 26391 12938 0 0 51 9 5 2 20 0 15 0 48500545 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10916192 memory=16092 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 17 12938 0 0 0 0 5 2 20 0 15 0 48500545 11178180608 859681 33554432000 4194304 4196468 140735029155360 139819774633568 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10916192 memory=3435240 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 6 12938 0 0 0 0 5 2 20 0 15 0 48500546 11178180608 859681 33554432000 4194304 4196468 140735029155360 139819506197888 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10916192 memory=3432976 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 859681 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10916192 memory=3433192 CPUtime=9.72 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 30859 12938 0 0 959 6 5 2 20 0 15 0 48500548 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10916192 memory=4128 CPUtime=9.4 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 27333 12938 0 0 928 5 5 2 20 0 15 0 48500548 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10916192 memory=16436 CPUtime=4.08 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 35890 12938 0 0 395 6 5 2 20 0 15 0 48500548 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10916192 memory=9780 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 859681 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10916192 memory=3438724 CPUtime=1.16 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1881 12938 0 0 51 58 5 2 20 0 15 0 48500549 11178180608 859681 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 2436.35 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3438724 KiB

[startup+2442.3 s]
/proc/loadavg: 1.30 1.49 1.74 3/216 10040
/proc/meminfo: memFree=13365484/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10916192 memory=3462276 CPUtime=2496.43 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 938680 12938 0 0 249134 502 5 2 20 0 15 0 48500533 11178180608 865569 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2729048 865569 3532 1 0 2690701 0
[pid=9452/tid=9505] ppid=9449 vsize=10916192 memory=3462276 CPUtime=2430.99 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 702754 12938 0 0 243028 64 5 2 20 0 15 0 48500543 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820710230688 139820349125234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10916192 memory=3455948 CPUtime=10.2 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 28468 12938 0 0 918 95 5 2 20 0 15 0 48500543 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10916192 memory=3458168 CPUtime=10.26 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 24256 12938 0 0 927 92 5 2 20 0 15 0 48500543 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10916192 memory=3462276 CPUtime=10.24 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 29921 12938 0 0 926 91 5 2 20 0 15 0 48500543 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10916192 memory=3357284 CPUtime=10.18 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 27971 12938 0 0 920 91 5 2 20 0 15 0 48500544 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10916192 memory=3449516 CPUtime=0.68 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 27071 12938 0 0 52 9 5 2 20 0 15 0 48500545 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10916192 memory=3462276 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 17 12938 0 0 0 0 5 2 20 0 15 0 48500545 11178180608 865569 33554432000 4194304 4196468 140735029155360 139819774633568 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10916192 memory=3462276 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 6 12938 0 0 0 0 5 2 20 0 15 0 48500546 11178180608 865569 33554432000 4194304 4196468 140735029155360 139819506197888 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10916192 memory=9916 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 865569 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10916192 memory=9916 CPUtime=9.72 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 30865 12938 0 0 959 6 5 2 20 0 15 0 48500548 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10916192 memory=1228 CPUtime=9.4 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 27337 12938 0 0 928 5 5 2 20 0 15 0 48500548 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10916192 memory=3462276 CPUtime=4.08 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 35896 12938 0 0 395 6 5 2 20 0 15 0 48500548 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10916192 memory=3462276 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 865569 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10916192 memory=8112282956445269571 CPUtime=1.2 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1925 12938 0 0 53 60 5 2 20 0 15 0 48500549 11178180608 865569 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 2496.43 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3462276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.9 s]
/proc/loadavg: 1.27 1.47 1.73 3/216 10040
/proc/meminfo: memFree=13356112/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10916192 memory=3472052 CPUtime=2520.07 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 940771 12938 0 0 251496 504 5 2 20 0 15 0 48500533 11178180608 868013 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2729048 868013 3532 1 0 2690701 0
[pid=9452/tid=9505] ppid=9449 vsize=10916192 memory=3471852 CPUtime=2454.57 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 704645 12938 0 0 245385 65 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820710230960 139820347782512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.21 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 28521 12938 0 0 919 95 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.27 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 24317 12938 0 0 928 92 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.25 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 29930 12938 0 0 927 91 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10916192 memory=3468740 CPUtime=10.19 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 28027 12938 0 0 921 91 5 2 20 0 15 0 48500544 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10916192 memory=3471852 CPUtime=0.69 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 27092 12938 0 0 53 9 5 2 20 0 15 0 48500545 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 17 12938 0 0 0 0 5 2 20 0 15 0 48500545 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819774633568 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10916192 memory=7883640652002192232 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 6 12938 0 0 0 0 5 2 20 0 15 0 48500546 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819506197888 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10916192 memory=636 CPUtime=9.72 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 30865 12938 0 0 959 6 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10916192 memory=3438724 CPUtime=9.4 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 27337 12938 0 0 928 5 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10916192 memory=4128 CPUtime=4.08 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 35896 12938 0 0 395 6 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10916192 memory=4128 CPUtime=1.2 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1925 12938 0 0 53 60 5 2 20 0 15 0 48500549 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3472052 KiB

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

[startup+2465.96 s]
# the end of solver process 9452 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.04 s, system=5.11033 s

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

[startup+2465.9 s]
/proc/loadavg: 1.27 1.47 1.73 3/216 10040
/proc/meminfo: memFree=13356112/32770624 swapFree=67108860/67108860
[pid=9452] ppid=9449 vsize=10916192 memory=3472052 CPUtime=2520.07 cores=0,2,4,6
/proc/9452/stat : 9452 (java) S 9449 9452 7293 0 -1 1077944320 940771 12938 0 0 251496 504 5 2 20 0 15 0 48500533 11178180608 868013 33554432000 4194304 4196468 140735029155360 140735029137904 139820738395895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
/proc/9452/statm: 2729048 868013 3532 1 0 2690701 0
[pid=9452/tid=9505] ppid=9449 vsize=10916192 memory=3471852 CPUtime=2454.57 cores=0,2,4,6
/proc/9452/task/9505/stat : 9505 (java) R 9449 9452 7293 0 -1 4202560 704645 12938 0 0 245385 65 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820710230960 139820347782512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9506] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.21 cores=0,2,4,6
/proc/9452/task/9506/stat : 9506 (java) S 9449 9452 7293 0 -1 1077944384 28521 12938 0 0 919 95 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820742638224 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9507] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.27 cores=0,2,4,6
/proc/9452/task/9507/stat : 9507 (java) S 9449 9452 7293 0 -1 1077944384 24317 12938 0 0 928 92 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820657457680 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9508] ppid=9449 vsize=10916192 memory=3471852 CPUtime=10.25 cores=0,2,4,6
/proc/9452/task/9508/stat : 9508 (java) S 9449 9452 7293 0 -1 1077944384 29930 12938 0 0 927 91 5 2 20 0 15 0 48500543 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820656404880 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9509] ppid=9449 vsize=10916192 memory=3468740 CPUtime=10.19 cores=0,2,4,6
/proc/9452/task/9509/stat : 9509 (java) S 9449 9452 7293 0 -1 1077944384 28027 12938 0 0 921 91 5 2 20 0 15 0 48500544 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820655352080 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9510] ppid=9449 vsize=10916192 memory=3471852 CPUtime=0.69 cores=0,2,4,6
/proc/9452/task/9510/stat : 9510 (java) S 9449 9452 7293 0 -1 1077944384 27092 12938 0 0 53 9 5 2 20 0 15 0 48500545 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820009986928 139820738407042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9511] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9511/stat : 9511 (java) S 9449 9452 7293 0 -1 1077944384 17 12938 0 0 0 0 5 2 20 0 15 0 48500545 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819774633568 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9512] ppid=9449 vsize=10916192 memory=7883640652002192232 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9512/stat : 9512 (java) S 9449 9452 7293 0 -1 1077944384 6 12938 0 0 0 0 5 2 20 0 15 0 48500546 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819506197888 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9513] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9513/stat : 9513 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819265907024 139820738414491 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9514] ppid=9449 vsize=10916192 memory=636 CPUtime=9.72 cores=0,2,4,6
/proc/9452/task/9514/stat : 9514 (java) S 9449 9452 7293 0 -1 1077944384 30865 12938 0 0 959 6 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820008933744 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9515] ppid=9449 vsize=10916192 memory=3438724 CPUtime=9.4 cores=0,2,4,6
/proc/9452/task/9515/stat : 9515 (java) S 9449 9452 7293 0 -1 1077944384 27337 12938 0 0 928 5 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820007880944 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9516] ppid=9449 vsize=10916192 memory=4128 CPUtime=4.08 cores=0,2,4,6
/proc/9452/task/9516/stat : 9516 (java) S 9449 9452 7293 0 -1 1077944384 35896 12938 0 0 395 6 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820006828144 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9517] ppid=9449 vsize=10916192 memory=3470820 CPUtime=0.07 cores=0,2,4,6
/proc/9452/task/9517/stat : 9517 (java) S 9449 9452 7293 0 -1 1077944384 3 12938 0 0 0 0 5 2 20 0 15 0 48500548 11178180608 868013 33554432000 4194304 4196468 140735029155360 139819232348384 139820738406101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
[pid=9452/tid=9518] ppid=9449 vsize=10916192 memory=4128 CPUtime=1.2 cores=0,2,4,6
/proc/9452/task/9518/stat : 9518 (java) S 9449 9452 7293 0 -1 1077944384 1925 12938 0 0 53 60 5 2 20 0 15 0 48500549 11178180608 868013 33554432000 4194304 4196468 140735029155360 139820005776560 139820738407042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27840512 140735029160559 140735029163356 140735029163356 140735029166031 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3472052 KiB

Child status: 143
Real time (s): 2465.96
CPU time (s): 2520.15
CPU user time (s): 2515.04
CPU system time (s): 5.11033
CPU usage (%): 102.198
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 3506792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.04
system time used= 5.11033
maximum resident set size= 3509136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76770
involuntary context switches= 4191


# summary of solver processes directly reported to runsolver:
#   pid: 9452
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.04
#   total CPU system time (s): 5.11033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8005 second user time and 22.3947 second system time

The end
Name	PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml
MD5SUM	6059cce927de517ef09e7ab17e66c3d6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	776
Number of constraints	867
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":776}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":81},{"degree":4,"count":204},{"degree":5,"count":222},{"degree":6,"count":243},{"degree":7,"count":6},{"degree":8,"count":17}]
Minimum constraint arity	1
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":697},{"arity":3,"count":12},{"arity":4,"count":15},{"arity":5,"count":16},{"arity":6,"count":18},{"arity":7,"count":10},{"arity":8,"count":8},{"arity":9,"count":14},{"arity":10,"count":11},{"arity":11,"count":5},{"arity":12,"count":11},{"arity":13,"count":8},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":8},{"arity":17,"count":6},{"arity":18,"count":10},{"arity":19,"count":5},{"arity":20,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":867}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4293105

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
