2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	Wrong Opt.	30	6.34563	2.55285
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 (9773 MiB free)
  memory of node 1: 16384 MiB (14382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291971-1532268276/watcher-4291971-1532268276 -o /tmp/evaluation-result-4291971-1532268276/solver-4291971-1532268276 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1223658047 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291971-1532268276.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3602, runsolver pid=3599

[startup+0.100478 s]*
/proc/loadavg: 1.52 1.56 1.58 3/216 3617
/proc/meminfo: memFree=24717276/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14082740 memory=31012 CPUtime=0.11 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 6651 0 0 0 10 1 0 0 20 0 15 0 44390754 14420725760 7753 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3520685 7753 3137 1 0 3482761 0
[pid=3602/tid=3604] ppid=3599 vsize=14082740 memory=-8826037640540026048 CPUtime=0.08 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 4734 0 0 0 8 0 0 0 20 0 15 0 44390755 14420725760 7753 33554432000 4194304 4196468 140737320892192 139707243249528 139707224204279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 7753 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 7753 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 7753 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) S 3599 3602 2501 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706281966192 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7753 33554432000 4194304 4196468 140737320892192 139706280913392 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) S 3599 3602 2501 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7818 33554432000 4194304 4196468 140737320892192 139706279861104 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7818 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 7818 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31012 KiB

[startup+0.213378 s]*
/proc/loadavg: 1.52 1.56 1.58 4/216 3617
/proc/meminfo: memFree=24702388/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14082740 memory=46752 CPUtime=0.3 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 10296 0 0 0 28 2 0 0 20 0 15 0 44390754 14420725760 11688 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3520685 11688 3380 1 0 3482761 0
[pid=3602/tid=3604] ppid=3599 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 1077944384 8041 0 0 0 18 1 0 0 20 0 15 0 44390755 14420725760 11688 33554432000 4194304 4196468 140737320892192 139707243266896 139707239048917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 11688 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14082740 memory=140135057921424 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 11688 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 11688 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) R 3599 3602 2501 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706281966112 139707216464938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) R 3599 3602 2501 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706280903664 139707222425452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0.05 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) R 3599 3602 2501 0 -1 4202560 288 0 0 0 5 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706279861104 139707239050646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 11688 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46752 KiB

[startup+0.310573 s]*
/proc/loadavg: 1.52 1.56 1.58 3/216 3617
/proc/meminfo: memFree=24699224/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14082740 memory=50408 CPUtime=0.42 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 10702 0 0 0 40 2 0 0 20 0 15 0 44390754 14420725760 12602 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3520685 12602 3417 1 0 3482761 0
[pid=3602/tid=3604] ppid=3599 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 8401 0 0 0 28 1 0 0 20 0 15 0 44390755 14420725760 12602 33554432000 4194304 4196468 140737320892192 139707243200448 139707239060637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 12602 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14082740 memory=16244897474217624 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 12602 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 12602 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390757 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) S 3599 3602 2501 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706281966192 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) S 3599 3602 2501 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706280913392 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0.07 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) R 3599 3602 2501 0 -1 4202560 307 0 0 0 7 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706279861104 139707218441864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14082740 memory=140135057917568 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390760 14420725760 12602 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50408 KiB

[startup+0.700675 s]
/proc/loadavg: 1.52 1.56 1.58 3/216 3617
/proc/meminfo: memFree=24677868/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14084808 memory=86500 CPUtime=0.98 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 17518 0 0 0 93 5 0 0 20 0 15 0 44390754 14422843392 21625 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3521202 21625 3491 1 0 3483273 0
[pid=3602/tid=3604] ppid=3599 vsize=14084808 memory=9284 CPUtime=0.67 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 14813 0 0 0 63 4 0 0 20 0 15 0 44390755 14422843392 21625 33554432000 4194304 4196468 140737320892192 139707243264016 139707221518890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44390755 14422843392 21625 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14422843392 21625 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14422843392 21625 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390755 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44390757 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44390757 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44390757 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14084808 memory=6081387179578519657 CPUtime=0.08 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) S 3599 3602 2501 0 -1 1077944384 515 0 0 0 8 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706281966192 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14084808 memory=5932762877087012201 CPUtime=0.06 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) S 3599 3602 2501 0 -1 1077944384 406 0 0 0 6 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706280913392 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14084808 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) S 3599 3602 2501 0 -1 1077944384 402 0 0 0 14 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706279861104 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44390760 14422843392 21625 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86500 KiB

[startup+1.5015 s]
/proc/loadavg: 1.52 1.56 1.58 6/216 3617
/proc/meminfo: memFree=24628316/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14086856 memory=222664 CPUtime=3.38 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 23753 0 0 0 329 9 0 0 20 0 15 0 44390754 14424940544 55666 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3521714 55666 3563 1 0 3483785 0
[pid=3602/tid=3604] ppid=3599 vsize=14086856 memory=163684 CPUtime=1.46 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 16859 0 0 0 140 6 0 0 20 0 15 0 44390755 14424940544 55666 33554432000 4194304 4196468 140737320892192 139707243273328 139706852424671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 55666 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 55666 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 55666 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 55666 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 44390757 14424940544 55666 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0

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

[startup+2.55281 s]
# the end of solver process 3602 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.19606 s, system=0.14957 s

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

[startup+1.6015 s]
/proc/loadavg: 1.52 1.56 1.58 6/216 3617
/proc/meminfo: memFree=24628316/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14086856 memory=225232 CPUtime=3.68 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 24336 0 0 0 359 9 0 0 20 0 15 0 44390754 14424940544 56308 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3521714 56308 3564 1 0 3483785 0
[pid=3602/tid=3604] ppid=3599 vsize=14086856 memory=280269835817776 CPUtime=1.56 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 16859 0 0 0 150 6 0 0 20 0 15 0 44390755 14424940544 56308 33554432000 4194304 4196468 140737320892192 139707243273328 139706852714087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 56308 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 56308 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 56308 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 44390755 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 44390757 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44390757 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 44390757 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14086856 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) R 3599 3602 2501 0 -1 4202560 1596 0 0 0 79 0 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706281954832 139707220583046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14086856 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) R 3599 3602 2501 0 -1 4202560 2208 0 0 0 76 0 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706280899272 139707220561281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14086856 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) S 3599 3602 2501 0 -1 1077944384 1929 0 0 0 49 1 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706279861104 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14424940544 56308 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 225232 KiB

[startup+2.00062 s]*
/proc/loadavg: 1.56 1.57 1.58 4/216 3617
/proc/meminfo: memFree=24524368/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14090952 memory=228408 CPUtime=4.76 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 26125 0 0 0 466 10 0 0 20 0 15 0 44390754 14429134848 57102 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3522738 57102 3572 1 0 3484809 0
[pid=3602/tid=3604] ppid=3599 vsize=14090952 memory=0 CPUtime=1.96 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 17853 0 0 0 190 6 0 0 20 0 15 0 44390755 14429134848 57102 33554432000 4194304 4196468 140737320892192 139707243256480 139707239060637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14090952 memory=3977015140724401256 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 44390755 14429134848 57102 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14090952 memory=546657966 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 44390755 14429134848 57102 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14090952 memory=117397166 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 44390755 14429134848 57102 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14090952 memory=58 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 44390755 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14090952 memory=140135057919296 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14090952 memory=835 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706285122336 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706284070000 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14090952 memory=44 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14090952 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) S 3599 3602 2501 0 -1 1077944384 1788 0 0 0 106 0 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706281966192 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14090952 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) S 3599 3602 2501 0 -1 1077944384 2365 0 0 0 98 0 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706280913392 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14090952 memory=3545187478319491170 CPUtime=0.68 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) S 3599 3602 2501 0 -1 1077944384 2380 0 0 0 67 1 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706279861104 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14090952 memory=3471202396320837679 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14090952 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 57102 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 228408 KiB

[startup+2.4015 s]
/proc/loadavg: 1.56 1.57 1.58 4/216 3617
/proc/meminfo: memFree=24524368/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14090952 memory=256088 CPUtime=5.92 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 39782 0 0 0 579 13 0 0 20 0 15 0 44390754 14429134848 64022 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3522738 64022 3579 1 0 3484809 0
[pid=3602/tid=3604] ppid=3599 vsize=14090952 memory=-6237260532469557610 CPUtime=2.33 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 19595 0 0 0 227 6 0 0 20 0 15 0 44390755 14429134848 64022 33554432000 4194304 4196468 140737320892192 139707243273248 139706847349773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14090952 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 64022 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14090952 memory=31009663884338 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 64022 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14090952 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 64022 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14090952 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706285122400 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706284070016 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14090952 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) R 3599 3602 2501 0 -1 4202560 4540 0 0 0 131 1 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706281944832 139707222449526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14090952 memory=0 CPUtime=1.24 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) R 3599 3602 2501 0 -1 4202560 5004 0 0 0 124 0 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706280899672 139707218274714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14090952 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) S 3599 3602 2501 0 -1 1077944384 7597 0 0 0 89 2 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706279861104 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 64022 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 256088 KiB

[startup+2.50145 s]
/proc/loadavg: 1.56 1.57 1.58 4/216 3617
/proc/meminfo: memFree=24524368/32770624 swapFree=67108852/67108860
[pid=3602] ppid=3599 vsize=14090952 memory=260724 CPUtime=6.26 cores=0,2,4,6
/proc/3602/stat : 3602 (java) S 3599 3602 2501 0 -1 1077944320 40930 0 0 0 612 14 0 0 20 0 15 0 44390754 14429134848 65181 33554432000 4194304 4196468 140737320892192 140737320874736 139707239038711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
/proc/3602/statm: 3522738 65181 3579 1 0 3484809 0
[pid=3602/tid=3604] ppid=3599 vsize=14090952 memory=247972 CPUtime=2.43 cores=0,2,4,6
/proc/3602/task/3604/stat : 3604 (java) R 3599 3602 2501 0 -1 4202560 19654 0 0 0 237 6 0 0 20 0 15 0 44390755 14429134848 65181 33554432000 4194304 4196468 140737320892192 139707243271152 139706855240520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3605] ppid=3599 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3605/stat : 3605 (java) S 3599 3602 2501 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 65181 33554432000 4194304 4196468 140737320892192 139707169127312 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3606] ppid=3599 vsize=14090952 memory=222664 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3606/stat : 3606 (java) S 3599 3602 2501 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 65181 33554432000 4194304 4196468 140737320892192 139707168074512 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3607] ppid=3599 vsize=14090952 memory=193612 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3607/stat : 3607 (java) S 3599 3602 2501 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 65181 33554432000 4194304 4196468 140737320892192 139707167022224 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3608] ppid=3599 vsize=14090952 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/3602/task/3608/stat : 3608 (java) S 3599 3602 2501 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 15 0 44390755 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706832174096 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3609] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3609/stat : 3609 (java) S 3599 3602 2501 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706286176368 139707239049858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3610] ppid=3599 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3610/stat : 3610 (java) S 3599 3602 2501 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706285122400 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3611] ppid=3599 vsize=14090952 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3611/stat : 3611 (java) S 3599 3602 2501 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 44390757 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706284070016 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3612] ppid=3599 vsize=14090952 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3612/stat : 3612 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706283018320 139707239057307 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3613] ppid=3599 vsize=14090952 memory=-7088785026379990432 CPUtime=1.42 cores=0,2,4,6
/proc/3602/task/3613/stat : 3613 (java) R 3599 3602 2501 0 -1 4202560 4886 0 0 0 141 1 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706281952328 139707220214663 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3614] ppid=3599 vsize=14090952 memory=6944656425122700657 CPUtime=1.35 cores=0,2,4,6
/proc/3602/task/3614/stat : 3614 (java) R 3599 3602 2501 0 -1 4202560 5679 0 0 0 134 1 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706280899272 139707224140224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3615] ppid=3599 vsize=14090952 memory=-8990767739041718176 CPUtime=0.94 cores=0,2,4,6
/proc/3602/task/3615/stat : 3615 (java) R 3599 3602 2501 0 -1 4202560 7671 0 0 0 92 2 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706279861104 139707223119198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3616] ppid=3599 vsize=14090952 memory=-8990767739041718224 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3616/stat : 3616 (java) S 3599 3602 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706278808544 139707239048917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
[pid=3602/tid=3617] ppid=3599 vsize=14090952 memory=-9178176116494409632 CPUtime=0 cores=0,2,4,6
/proc/3602/task/3617/stat : 3617 (java) S 3599 3602 2501 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 44390760 14429134848 65181 33554432000 4194304 4196468 140737320892192 139706277755312 139707239049858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19062784 140737320899668 140737320899849 140737320899849 140737320902607 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 260724 KiB

Child status: 0
Real time (s): 2.55285
CPU time (s): 6.34563
CPU user time (s): 6.19606
CPU system time (s): 0.14957
CPU usage (%): 248.57
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 260724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19606
system time used= 0.14957
maximum resident set size= 263212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3358
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 3602
#   total CPU time (s): 6.34563
#   total CPU user time (s): 6.19606
#   total CPU system time (s): 0.14957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04487 second user time and 0.060896 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml
MD5SUM	06e1d56807384f8426568c6f8eb09a57
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	4638
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}]
Minimum variable degree	6
Maximum variable degree	27
Distribution of variable degrees	[{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4638}]
Number of extensional constraints	0
Number of intensional constraints	4638
Distribution of constraint types	[{"type":"intension","count":4638}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4291971

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
