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-17	SAT (TO)	48	2520.12	2512.91
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 (10024 MiB free)
  memory of node 1: 16384 MiB (12780 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312041-1534546098/watcher-4312041-1534546098 -o /tmp/evaluation-result-4312041-1534546098/solver-4312041-1534546098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534541042-5265 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 357303088 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312041-1534546098.xml 

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

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


[startup+0.100122 s]*
/proc/loadavg: 1.42 1.46 1.43 3/215 5908
/proc/meminfo: memFree=23334632/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14082736 memory=31516 CPUtime=0.12 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 6784 0 0 0 11 1 0 0 20 0 15 0 272172734 14420721664 7879 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3520684 7879 3154 1 0 3482761 0
[pid=5893/tid=5895] ppid=5890 vsize=14082736 memory=-8537801766830175424 CPUtime=0.09 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 4823 0 0 0 9 0 0 0 20 0 15 0 272172734 14420721664 7879 33554432000 4194304 4196468 140727389025792 140209222506896 140209218293142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 7879 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 7879 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 7879 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 7879 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172736 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208196527776 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208195474672 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 272172739 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0.01 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 272172739 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 7879 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31516 KiB

[startup+0.213483 s]*
/proc/loadavg: 1.42 1.46 1.43 5/215 5908
/proc/meminfo: memFree=23319500/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14082736 memory=47328 CPUtime=0.31 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 10459 0 0 0 29 2 0 0 20 0 15 0 272172734 14420721664 11832 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3520684 11832 3366 1 0 3482761 0
[pid=5893/tid=5895] ppid=5890 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 8162 0 0 0 19 1 0 0 20 0 15 0 272172734 14420721664 11832 33554432000 4194304 4196468 140727389025792 140209222502400 140209218293142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 11832 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14082736 memory=4121269536053470880 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 11832 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 11832 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 11832 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272172736 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208196527776 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208195474672 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 272172739 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 272172739 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0.06 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) R 5890 5893 5234 0 -1 4202560 303 0 0 0 6 0 0 0 20 0 15 0 272172739 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208191260480 140209218293142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 11832 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47328 KiB

[startup+0.310559 s]*
/proc/loadavg: 1.42 1.46 1.43 3/215 5908
/proc/meminfo: memFree=23315964/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14082736 memory=50656 CPUtime=0.44 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 10821 0 0 0 42 2 0 0 20 0 15 0 272172734 14420721664 12664 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3520684 12664 3369 1 0 3482761 0
[pid=5893/tid=5895] ppid=5890 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 8494 0 0 0 28 1 0 0 20 0 15 0 272172734 14420721664 12664 33554432000 4194304 4196468 140727389025792 140209222489040 140209198556419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14082736 memory=4294979922 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 12664 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14082736 memory=4049211942015542944 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 12664 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 12664 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14420721664 12664 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272172736 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208196527776 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272172737 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208195474672 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 272172739 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 272172739 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0.08 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 272172739 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14082736 memory=140306097317504 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172740 14420721664 12664 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50656 KiB

[startup+0.70075 s]
/proc/loadavg: 1.42 1.46 1.43 3/215 5908
/proc/meminfo: memFree=23291476/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14084804 memory=88700 CPUtime=0.98 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 17621 0 0 0 94 4 0 0 20 0 15 0 272172734 14422839296 22175 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3521201 22175 3499 1 0 3483273 0
[pid=5893/tid=5895] ppid=5890 vsize=14084804 memory=15768 CPUtime=0.67 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 14919 0 0 0 64 3 0 0 20 0 15 0 272172734 14422839296 22175 33554432000 4194304 4196468 140727389025792 140209222506624 140209218293142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14084804 memory=4400 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14422839296 22175 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14422839296 22175 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172735 14422839296 22175 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14084804 memory=924 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272172735 14422839296 22175 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14084804 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272172736 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14084804 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272172737 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208196527776 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272172737 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208195474672 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14084804 memory=7237400421024098393 CPUtime=0.05 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 648 0 0 0 5 0 0 0 20 0 15 0 272172739 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14084804 memory=6154282490091891024 CPUtime=0.08 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 283 0 0 0 8 0 0 0 20 0 15 0 272172739 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) R 5890 5893 5234 0 -1 4202560 389 0 0 0 15 0 0 0 20 0 15 0 272172739 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208191264752 140209218302554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272172740 14422839296 22175 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88700 KiB

[startup+1.50071 s]
/proc/loadavg: 1.42 1.46 1.43 6/215 5908
/proc/meminfo: memFree=23238984/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14086852 memory=223652 CPUtime=3.44 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 24334 0 0 0 335 9 0 0 20 0 15 0 272172734 14424936448 55913 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3521713 55913 3553 1 0 3483785 0
[pid=5893/tid=5895] ppid=5890 vsize=14086852 memory=169000 CPUtime=1.46 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 16930 0 0 0 140 6 0 0 20 0 15 0 272172734 14424936448 55913 33554432000 4194304 4196468 140727389025792 140209222516048 140208827398194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14086852 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 272172735 14424936448 55913 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 272172735 14424936448 55913 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 272172735 14424936448 55913 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 272172735 14424936448 55913 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 272172736 14424936448 55913 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0

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

/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 33592 0 0 0 244090 10 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209222519216 140208831208652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.47 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2375 0 0 0 42 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.46 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1237 0 0 0 41 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.48 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1210 0 0 0 44 4 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.47 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 1362 0 0 0 42 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.37 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 4217 0 0 0 33 4 0 0 20 0 15 0 272172736 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208196527840 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208195474688 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14090948 memory=222960 CPUtime=2.14 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 17526 0 0 0 212 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14090948 memory=496 CPUtime=2.4 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 16169 0 0 0 238 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14090948 memory=288230574492221466 CPUtime=0.92 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 15771 0 0 0 90 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14090948 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.63 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 968 0 0 0 25 38 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 2449.44 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222960 KiB

[startup+2502.3 s]
/proc/loadavg: 1.73 1.58 1.53 3/215 6086
/proc/meminfo: memFree=23033572/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14090948 memory=222960 CPUtime=2509.48 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 96510 0 0 0 250887 61 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3522737 55740 3586 1 0 3484809 0
[pid=5893/tid=5895] ppid=5890 vsize=14090948 memory=222960 CPUtime=2500.95 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 33881 0 0 0 250085 10 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209222519040 140208831208672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.48 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2400 0 0 0 43 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.48 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1322 0 0 0 43 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1216 0 0 0 45 4 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 1405 0 0 0 44 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.38 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 4391 0 0 0 34 4 0 0 20 0 15 0 272172736 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208196527840 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14090948 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208195474688 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14090948 memory=222960 CPUtime=2.14 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 17528 0 0 0 212 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14090948 memory=4452 CPUtime=2.4 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 16171 0 0 0 238 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14090948 memory=3732 CPUtime=0.92 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 15773 0 0 0 90 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14090948 memory=3868 CPUtime=0.65 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 988 0 0 0 26 39 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 2509.48 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.9 s]
/proc/loadavg: 1.78 1.59 1.53 4/216 6095
/proc/meminfo: memFree=23033628/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14090948 memory=222960 CPUtime=2520.09 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 96541 0 0 0 251948 61 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3522737 55740 3586 1 0 3484809 0
[pid=5893/tid=5895] ppid=5890 vsize=14090948 memory=222960 CPUtime=2511.54 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 33905 0 0 0 251144 10 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209222519040 140208831208739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2400 0 0 0 44 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.48 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1322 0 0 0 43 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.5 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1216 0 0 0 46 4 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14090948 memory=2784 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 1412 0 0 0 44 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.39 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 4391 0 0 0 35 4 0 0 20 0 15 0 272172736 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14090948 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208196527840 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14090948 memory=3978141028551508888 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208195474688 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14090948 memory=3616453414318717432 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14090948 memory=4126316290023845779 CPUtime=2.14 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 17528 0 0 0 212 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14090948 memory=-2893623298589923098 CPUtime=2.4 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 16171 0 0 0 238 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14090948 memory=-4546129931942301828 CPUtime=0.92 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 15773 0 0 0 90 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14090948 memory=1072 CPUtime=0.65 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 988 0 0 0 26 39 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222960 KiB

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

[startup+2512.91 s]
# the end of solver process 5893 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.5 s, system=0.616114 s

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

[startup+2512.9 s]
/proc/loadavg: 1.78 1.59 1.53 4/216 6095
/proc/meminfo: memFree=23033628/32770624 swapFree=67108688/67108860
[pid=5893] ppid=5890 vsize=14090948 memory=222960 CPUtime=2520.09 cores=0,2,4,6
/proc/5893/stat : 5893 (java) S 5890 5893 5234 0 -1 1077944320 96541 0 0 0 251948 61 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140727389008336 140209218281207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
/proc/5893/statm: 3522737 55740 3586 1 0 3484809 0
[pid=5893/tid=5895] ppid=5890 vsize=14090948 memory=222960 CPUtime=2511.54 cores=0,2,4,6
/proc/5893/task/5895/stat : 5895 (java) R 5890 5893 5234 0 -1 4202560 33905 0 0 0 251144 10 0 0 20 0 15 0 272172734 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209222519040 140208831208739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5896] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5896/stat : 5896 (java) S 5890 5893 5234 0 -1 1077944384 2400 0 0 0 44 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209148369424 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5897] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.48 cores=0,2,4,6
/proc/5893/task/5897/stat : 5897 (java) S 5890 5893 5234 0 -1 1077944384 1322 0 0 0 43 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209147316880 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5898] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.5 cores=0,2,4,6
/proc/5893/task/5898/stat : 5898 (java) S 5890 5893 5234 0 -1 1077944384 1216 0 0 0 46 4 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209146263824 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5899] ppid=5890 vsize=14090948 memory=2784 CPUtime=0.49 cores=0,2,4,6
/proc/5893/task/5899/stat : 5899 (java) S 5890 5893 5234 0 -1 1077944384 1412 0 0 0 44 5 0 0 20 0 15 0 272172735 14429130752 55740 33554432000 4194304 4196468 140727389025792 140209145211280 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5900] ppid=5890 vsize=14090948 memory=222960 CPUtime=0.39 cores=0,2,4,6
/proc/5893/task/5900/stat : 5900 (java) S 5890 5893 5234 0 -1 1077944384 4391 0 0 0 35 4 0 0 20 0 15 0 272172736 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208197581552 140209218292354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5901] ppid=5890 vsize=14090948 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5901/stat : 5901 (java) S 5890 5893 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208196527840 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5902] ppid=5890 vsize=14090948 memory=3978141028551508888 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5902/stat : 5902 (java) S 5890 5893 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 272172737 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208195474688 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5903] ppid=5890 vsize=14090948 memory=3616453414318717432 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5903/stat : 5903 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208194423248 140209218299803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5904] ppid=5890 vsize=14090948 memory=4126316290023845779 CPUtime=2.14 cores=0,2,4,6
/proc/5893/task/5904/stat : 5904 (java) S 5890 5893 5234 0 -1 1077944384 17528 0 0 0 212 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208193370352 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5905] ppid=5890 vsize=14090948 memory=-2893623298589923098 CPUtime=2.4 cores=0,2,4,6
/proc/5893/task/5905/stat : 5905 (java) S 5890 5893 5234 0 -1 1077944384 16171 0 0 0 238 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208192317808 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5906] ppid=5890 vsize=14090948 memory=-4546129931942301828 CPUtime=0.92 cores=0,2,4,6
/proc/5893/task/5906/stat : 5906 (java) S 5890 5893 5234 0 -1 1077944384 15773 0 0 0 90 2 0 0 20 0 15 0 272172739 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208191264752 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5907] ppid=5890 vsize=14090948 memory=222960 CPUtime=0 cores=0,2,4,6
/proc/5893/task/5907/stat : 5907 (java) S 5890 5893 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208190212448 140209218291413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
[pid=5893/tid=5908] ppid=5890 vsize=14090948 memory=1072 CPUtime=0.65 cores=0,2,4,6
/proc/5893/task/5908/stat : 5908 (java) S 5890 5893 5234 0 -1 1077944384 988 0 0 0 26 39 0 0 20 0 15 0 272172740 14429130752 55740 33554432000 4194304 4196468 140727389025792 140208189160496 140209218292354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14774272 140727389029449 140727389029641 140727389029641 140727389032399 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222960 KiB

Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.12
CPU user time (s): 2519.5
CPU system time (s): 0.616114
CPU usage (%): 100.287
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 336876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.616114
maximum resident set size= 336916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66900
involuntary context switches= 2373


# summary of solver processes directly reported to runsolver:
#   pid: 5893
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.5
#   total CPU system time (s): 0.616114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2793 second user time and 19.8699 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml
MD5SUM	2ee48e6c5f3b799813662dbb853aaebc
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	16
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5548
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree	2
Maximum variable degree	62
Distribution of variable degrees	[{"degree":2,"count":12},{"degree":3,"count":2},{"degree":4,"count":38},{"degree":5,"count":25},{"degree":6,"count":95},{"degree":7,"count":25},{"degree":8,"count":106},{"degree":9,"count":20},{"degree":10,"count":111},{"degree":11,"count":39},{"degree":12,"count":56},{"degree":13,"count":41},{"degree":14,"count":47},{"degree":15,"count":30},{"degree":16,"count":41},{"degree":17,"count":19},{"degree":18,"count":32},{"degree":19,"count":15},{"degree":20,"count":27},{"degree":21,"count":21},{"degree":22,"count":8},{"degree":23,"count":11},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":7},{"degree":27,"count":7},{"degree":28,"count":7},{"degree":29,"count":7},{"degree":30,"count":7},{"degree":31,"count":6},{"degree":32,"count":4},{"degree":33,"count":2},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":3},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5548}]
Number of extensional constraints	0
Number of intensional constraints	5548
Distribution of constraint types	[{"type":"intension","count":5548}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4312041

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
