2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	792	2520.07	2482.52
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 (11062 MiB free)
  memory of node 1: 16384 MiB (12149 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308291-1534280585/watcher-4308291-1534280585 -o /tmp/evaluation-result-4308291-1534280585/solver-4308291-1534280585 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534270585-30509 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1663877384 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308291-1534280585.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=31561, runsolver pid=31558

[startup+0.108673 s]*
/proc/loadavg: 1.22 1.17 1.26 3/217 31576
/proc/meminfo: memFree=23749700/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14082736 memory=35948 CPUtime=0.12 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 7382 0 0 0 11 1 0 0 20 0 15 0 245621794 14420721664 8987 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3520684 8987 3159 1 0 3482761 0
[pid=31561/tid=31563] ppid=31558 vsize=14082736 memory=-8413460178640212346 CPUtime=0.1 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 5418 0 0 0 9 1 0 0 20 0 15 0 245621794 14420721664 8987 33554432000 4194304 4196468 140733718688448 140590311497472 140590307304605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 8987 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 8987 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 8987 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 8987 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589286020256 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589284967152 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0.01 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 8987 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 35948 KiB

[startup+0.214374 s]*
/proc/loadavg: 1.22 1.17 1.26 5/217 31576
/proc/meminfo: memFree=23735220/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14082736 memory=49108 CPUtime=0.32 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 10403 0 0 0 29 3 0 0 20 0 15 0 245621794 14420721664 12277 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3520684 12277 3368 1 0 3482761 0
[pid=31561/tid=31563] ppid=31558 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 8109 0 0 0 18 2 0 0 20 0 15 0 245621794 14420721664 12277 33554432000 4194304 4196468 140733718688448 140590311512160 140590291363166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 12277 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14082736 memory=139653477411027 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 12277 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 12277 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 12277 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589286020256 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589284967152 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) R 31558 31561 28983 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0.06 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 304 0 0 0 6 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 12277 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49108 KiB

[startup+0.310628 s]*
/proc/loadavg: 1.22 1.17 1.26 3/217 31576
/proc/meminfo: memFree=23731684/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14082736 memory=52540 CPUtime=0.44 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 10786 0 0 0 41 3 0 0 20 0 15 0 245621794 14420721664 13135 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3520684 13135 3371 1 0 3482761 0
[pid=31561/tid=31563] ppid=31558 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 8458 0 0 0 27 2 0 0 20 0 15 0 245621794 14420721664 13135 33554432000 4194304 4196468 140733718688448 140590311490512 140590287557871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 13135 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14082736 memory=139653477411000 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 13135 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 13135 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621795 14420721664 13135 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589286020256 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621797 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589284967152 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0.08 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14082736 memory=139653477381760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621800 14420721664 13135 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52540 KiB

[startup+0.700753 s]
/proc/loadavg: 1.22 1.17 1.26 3/217 31576
/proc/meminfo: memFree=23707500/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14084804 memory=91216 CPUtime=0.98 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 17635 0 0 0 93 5 0 0 20 0 15 0 245621794 14422839296 22804 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3521201 22804 3505 1 0 3483273 0
[pid=31561/tid=31563] ppid=31558 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 14913 0 0 0 63 4 0 0 20 0 15 0 245621794 14422839296 22804 33554432000 4194304 4196468 140733718688448 140590311505280 140590291363166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14084804 memory=844 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14422839296 22804 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14084804 memory=10072 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14422839296 22804 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14084804 memory=5012 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14422839296 22804 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621795 14422839296 22804 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14084804 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245621797 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14084804 memory=1824 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245621797 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589286020256 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14084804 memory=1356 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245621797 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589284967152 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14084804 memory=6369896832034956376 CPUtime=0.07 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 673 0 0 0 7 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14084804 memory=6220993253238723945 CPUtime=0.07 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 265 0 0 0 7 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 403 0 0 0 15 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621800 14422839296 22804 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 91216 KiB

[startup+1.50169 s]
/proc/loadavg: 1.22 1.17 1.26 5/217 31576
/proc/meminfo: memFree=23664164/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14088900 memory=205716 CPUtime=3.53 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 23607 0 0 0 346 7 0 0 20 0 15 0 245621794 14427033600 51429 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3522225 51429 3546 1 0 3484297 0
[pid=31561/tid=31563] ppid=31558 vsize=14088900 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 16610 0 0 0 142 5 0 0 20 0 15 0 245621794 14427033600 51429 33554432000 4194304 4196468 140733718688448 140590311511392 140590287558407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14088900 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14427033600 51429 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14088900 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14427033600 51429 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14088900 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245621795 14427033600 51429 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14088900 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245621795 14427033600 51429 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 245621797 14427033600 51429 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0

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

/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 59966 0 0 0 235301 48 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590311521088 140589942313368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.18 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 2566 0 0 0 1030 88 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14090948 memory=279524 CPUtime=11.2 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1875 0 0 0 1030 90 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.15 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 3871 0 0 0 1025 90 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.18 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 3090 0 0 0 1023 95 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14090948 memory=279532 CPUtime=12.86 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5166 0 0 0 1199 87 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589286020320 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589284967168 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.6 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 9537 0 0 0 257 3 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.45 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 7424 0 0 0 244 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14090948 memory=279532 CPUtime=0.89 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 5975 0 0 0 88 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14090948 memory=279532 CPUtime=1.38 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1224 0 0 0 73 65 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 2418.49 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 279532 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.60 1.52 3/216 31650
/proc/meminfo: memFree=23536980/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14090948 memory=279532 CPUtime=2479.29 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 103319 0 0 0 247481 448 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3522737 69883 3594 1 0 3484809 0
[pid=31561/tid=31563] ppid=31558 vsize=14090948 memory=279532 CPUtime=2412.73 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 60806 0 0 0 241224 49 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590311521200 140589943108870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.48 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 2569 0 0 0 1056 92 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.49 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1896 0 0 0 1057 92 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.44 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 3962 0 0 0 1052 92 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14090948 memory=279524 CPUtime=11.46 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 3128 0 0 0 1049 97 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14090948 memory=279532 CPUtime=13.2 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5350 0 0 0 1231 89 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589286020320 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589284967168 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.6 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 9539 0 0 0 257 3 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.45 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 7426 0 0 0 244 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14090948 memory=279532 CPUtime=0.89 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 5977 0 0 0 88 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14090948 memory=279532 CPUtime=1.42 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1232 0 0 0 75 67 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 2479.29 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 279532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2482.5 s]
/proc/loadavg: 1.56 1.60 1.52 3/216 31651
/proc/meminfo: memFree=23536836/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14090948 memory=279532 CPUtime=2520.03 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 103723 0 0 0 251547 456 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3522737 69883 3594 1 0 3484809 0
[pid=31561/tid=31563] ppid=31558 vsize=14090948 memory=279532 CPUtime=2452.42 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 61204 0 0 0 245192 50 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590311521392 140589943381408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.68 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 2569 0 0 0 1074 94 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.69 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1896 0 0 0 1075 94 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.65 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 3962 0 0 0 1070 95 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14090948 memory=3984 CPUtime=11.66 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 3129 0 0 0 1067 99 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14090948 memory=279532 CPUtime=13.44 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5352 0 0 0 1253 91 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589286020320 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589284967168 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.6 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 9539 0 0 0 257 3 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.45 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 7427 0 0 0 244 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14090948 memory=279532 CPUtime=0.9 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 5977 0 0 0 89 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14090948 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14090948 memory=279532 CPUtime=1.44 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1234 0 0 0 76 68 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 279532 KiB

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

[startup+2482.52 s]
# the end of solver process 31561 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.49 s, system=4.5748 s

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

[startup+2482.5 s]
/proc/loadavg: 1.56 1.60 1.52 3/216 31651
/proc/meminfo: memFree=23536836/32770624 swapFree=67108196/67108860
[pid=31561] ppid=31558 vsize=14090948 memory=279532 CPUtime=2520.03 cores=0,2,4,6
/proc/31561/stat : 31561 (java) S 31558 31561 28983 0 -1 1077944320 103723 0 0 0 251547 456 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140733718670992 140590307282679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
/proc/31561/statm: 3522737 69883 3594 1 0 3484809 0
[pid=31561/tid=31563] ppid=31558 vsize=14090948 memory=279532 CPUtime=2452.42 cores=0,2,4,6
/proc/31561/task/31563/stat : 31563 (java) R 31558 31561 28983 0 -1 4202560 61204 0 0 0 245192 50 0 0 20 0 15 0 245621794 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590311521392 140589943381408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31564] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.68 cores=0,2,4,6
/proc/31561/task/31564/stat : 31564 (java) S 31558 31561 28983 0 -1 1077944384 2569 0 0 0 1074 94 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590259903504 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31565] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.69 cores=0,2,4,6
/proc/31561/task/31565/stat : 31565 (java) S 31558 31561 28983 0 -1 1077944384 1896 0 0 0 1075 94 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590258850960 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31566] ppid=31558 vsize=14090948 memory=279532 CPUtime=11.65 cores=0,2,4,6
/proc/31561/task/31566/stat : 31566 (java) S 31558 31561 28983 0 -1 1077944384 3962 0 0 0 1070 95 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590257797904 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31567] ppid=31558 vsize=14090948 memory=3984 CPUtime=11.66 cores=0,2,4,6
/proc/31561/task/31567/stat : 31567 (java) S 31558 31561 28983 0 -1 1077944384 3129 0 0 0 1067 99 0 0 20 0 15 0 245621795 14429130752 69883 33554432000 4194304 4196468 140733718688448 140590256745360 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31568] ppid=31558 vsize=14090948 memory=279532 CPUtime=13.44 cores=0,2,4,6
/proc/31561/task/31568/stat : 31568 (java) S 31558 31561 28983 0 -1 1077944384 5352 0 0 0 1253 91 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589287074032 140590307293826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31569] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31569/stat : 31569 (java) S 31558 31561 28983 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589286020320 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31570] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31570/stat : 31570 (java) S 31558 31561 28983 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 245621797 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589284967168 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31571] ppid=31558 vsize=14090948 memory=279532 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31571/stat : 31571 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589283915728 140590307301275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31572] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.6 cores=0,2,4,6
/proc/31561/task/31572/stat : 31572 (java) S 31558 31561 28983 0 -1 1077944384 9539 0 0 0 257 3 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589282863856 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31573] ppid=31558 vsize=14090948 memory=279532 CPUtime=2.45 cores=0,2,4,6
/proc/31561/task/31573/stat : 31573 (java) S 31558 31561 28983 0 -1 1077944384 7427 0 0 0 244 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589281811312 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31574] ppid=31558 vsize=14090948 memory=279532 CPUtime=0.9 cores=0,2,4,6
/proc/31561/task/31574/stat : 31574 (java) S 31558 31561 28983 0 -1 1077944384 5977 0 0 0 89 1 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589280758256 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31575] ppid=31558 vsize=14090948 memory=3760 CPUtime=0 cores=0,2,4,6
/proc/31561/task/31575/stat : 31575 (java) S 31558 31561 28983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589279705952 140590307292885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
[pid=31561/tid=31576] ppid=31558 vsize=14090948 memory=279532 CPUtime=1.44 cores=0,2,4,6
/proc/31561/task/31576/stat : 31576 (java) S 31558 31561 28983 0 -1 1077944384 1234 0 0 0 76 68 0 0 20 0 15 0 245621800 14429130752 69883 33554432000 4194304 4196468 140733718688448 140589278652976 140590307293826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 7921664 140733718692936 140733718693129 140733718693129 140733718695887 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 279532 KiB

Child status: 143
Real time (s): 2482.52
CPU time (s): 2520.07
CPU user time (s): 2515.49
CPU system time (s): 4.5748
CPU usage (%): 101.512
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 291360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.49
system time used= 4.5748
maximum resident set size= 293408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 415759
involuntary context switches= 9594


# summary of solver processes directly reported to runsolver:
#   pid: 31561
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.49
#   total CPU system time (s): 4.5748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1404 second user time and 24.4439 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
MD5SUM	d1449c913cc5aeed08f9a5dcd27a0601
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	792
Best CPU time to get the best result obtained on this benchmark	1.44759
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2598
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":36,"count":192},{"size":44,"count":196}]
Minimum variable degree	2
Maximum variable degree	60
Distribution of variable degrees	[{"degree":2,"count":4},{"degree":3,"count":2},{"degree":4,"count":16},{"degree":5,"count":10},{"degree":6,"count":37},{"degree":7,"count":16},{"degree":8,"count":41},{"degree":9,"count":14},{"degree":10,"count":40},{"degree":11,"count":20},{"degree":12,"count":14},{"degree":13,"count":13},{"degree":14,"count":21},{"degree":15,"count":8},{"degree":16,"count":16},{"degree":17,"count":12},{"degree":18,"count":18},{"degree":19,"count":9},{"degree":20,"count":14},{"degree":21,"count":13},{"degree":22,"count":6},{"degree":23,"count":10},{"degree":24,"count":4},{"degree":25,"count":11},{"degree":26,"count":4},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":2},{"degree":31,"count":3},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":53,"count":1},{"degree":60,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2598}]
Number of extensional constraints	0
Number of intensional constraints	2598
Distribution of constraint types	[{"type":"intension","count":2598}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4308291

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
