runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249836-1500740181/watcher-4249836-1500740181 -o /tmp/evaluation-result-4249836-1500740181/solver-4249836-1500740181 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19675 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1127900169 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249836-1500740181.xml
pid=24704
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.08 1.97 1.96 3/261 24707
/proc/meminfo: memFree=31575328/32770624 swapFree=6544/174596
[pid=24707] ppid=24704 vsize=10640704 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 2246 0 0 0 0 0 0 0 20 0 7 0 9283077 10896080896 2498 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 2660176 2498 1199 1 0 2649087 0
[pid=24707/tid=24708] ppid=24704 vsize=10904904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) D 24704 24707 19643 0 -1 4202560 939 0 0 0 0 0 0 0 20 0 10 0 9283077 11166621696 2498 33554432000 4194304 4196468 140736773767216 140228608579688 140228589342000 0 4 0 16784584 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=11035976 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) R 24704 24707 19643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 9283078 11300839424 2498 33554432000 4194304 4196468 140736773767216 140228536474008 140228584361776 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=11167048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) D 24704 24707 19643 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 9283078 11435057152 2498 33554432000 4194304 4196468 140736773767216 140228202301880 140228597055063 0 4 0 16784584 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=11101512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9283078 11367948288 2498 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=11167048 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9283078 11435057152 2498 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=12556408 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9283078 12857761792 2527 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9283078 12866150400 2527 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 9283078 12866150400 2527 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 9283078 12867006464 2527 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[startup+0.100131 s]
/proc/loadavg: 2.08 1.97 1.96 3/261 24707
/proc/meminfo: memFree=31575328/32770624 swapFree=6544/174596
[pid=24707] ppid=24704 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 6130 0 0 0 8 2 0 0 20 0 20 0 9283077 13582245888 6423 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3315978 6423 2793 1 0 3303698 0
[pid=24707/tid=24708] ppid=24704 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 4222 0 0 0 7 1 0 0 20 0 20 0 9283077 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228608567288 140228560973686 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6423 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 6489 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.201065 s]
/proc/loadavg: 2.08 1.97 1.96 3/261 24707
/proc/meminfo: memFree=31575328/32770624 swapFree=6544/174596
[pid=24707] ppid=24704 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 9107 0 0 0 23 3 0 0 20 0 20 0 9283077 13582245888 9120 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3315978 9120 3569 1 0 3303698 0
[pid=24707/tid=24708] ppid=24704 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 6821 0 0 0 16 2 0 0 20 0 20 0 9283077 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228608559648 140228588418398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 9120 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300863 s]
/proc/loadavg: 2.08 1.97 1.96 3/261 24707
/proc/meminfo: memFree=31575328/32770624 swapFree=6544/174596
[pid=24707] ppid=24704 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 10138 0 0 0 39 4 0 0 20 0 20 0 9283077 13582245888 11383 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3315978 11383 3663 1 0 3303698 0
[pid=24707/tid=24708] ppid=24704 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 7514 0 0 0 25 2 0 0 20 0 20 0 9283077 13582245888 11383 33554432000 4194304 4196468 140736773767216 140228608551664 140228604359837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11383 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283078 13582245888 11448 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.70066 s]
/proc/loadavg: 2.08 1.97 1.96 3/261 24707
/proc/meminfo: memFree=31575328/32770624 swapFree=6544/174596
[pid=24707] ppid=24704 vsize=13265980 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 13824 0 0 0 133 6 0 0 20 0 20 0 9283077 13584363520 18652 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3316495 18652 3767 1 0 3304210 0
[pid=24707/tid=24708] ppid=24704 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 8647 0 0 0 64 3 0 0 20 0 20 0 9283077 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228608573464 140228604349846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283078 13584363520 18652 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 13265980
[startup+1.50122 s]
/proc/loadavg: 2.08 1.97 1.96 6/281 24727
/proc/meminfo: memFree=31438064/32770624 swapFree=6544/174620
[pid=24707] ppid=24704 vsize=13270076 CPUtime=4.31 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 25701 0 0 0 420 11 0 0 20 0 20 0 9283077 13588557824 49663 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3317519 49663 3783 1 0 3305234 0
[pid=24707/tid=24708] ppid=24704 vsize=13270076 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 10944 0 0 0 142 5 0 0 20 0 20 0 9283077 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228608575416 140228221303207 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24718] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24718/stat : 24718 (java) S 24704 24707 19643 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 9283080 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228135221744 140228604349058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24719] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24719/stat : 24719 (java) S 24704 24707 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 49663 33554432000 4194304 4196468 140736773767216 140228134167968 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24720] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24720/stat : 24720 (java) S 24704 24707 19643 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227796526576 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24721] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24721/stat : 24721 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227795475152 140228604356507 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24722] ppid=24704 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24722/stat : 24722 (java) R 24704 24707 19643 0 -1 4202560 4834 0 0 0 74 1 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227794414560 140228588626926 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24723] ppid=24704 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24723/stat : 24723 (java) R 24704 24707 19643 0 -1 4202560 2776 0 0 0 74 1 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227793362392 140228587834681 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24724] ppid=24704 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24724/stat : 24724 (java) R 24704 24707 19643 0 -1 4202560 3240 0 0 0 75 1 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227792309848 140228588737513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24725] ppid=24704 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24725/stat : 24725 (java) S 24704 24707 19643 0 -1 1077944384 2500 0 0 0 53 1 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227791264112 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24726] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24726/stat : 24726 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227790211808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24727] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24727/stat : 24727 (java) S 24704 24707 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 49663 33554432000 4194304 4196468 140736773767216 140227789159344 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24707 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.99743 s]
/proc/loadavg: 2.08 1.97 1.96 6/281 24727
/proc/meminfo: memFree=31438064/32770624 swapFree=6544/174620
[pid=24707] ppid=24704 vsize=13270076 CPUtime=5.48 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 27519 0 0 0 533 15 0 0 20 0 20 0 9283077 13588557824 57514 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3317519 57514 3800 1 0 3305234 0
[pid=24707/tid=24708] ppid=24704 vsize=13270076 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 11030 0 0 0 189 6 0 0 20 0 20 0 9283077 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228608574216 140228221210781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24718] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24718/stat : 24718 (java) S 24704 24707 19643 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 9283080 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228135221744 140228604349058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24719] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24719/stat : 24719 (java) S 24704 24707 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228134168032 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24720] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24720/stat : 24720 (java) S 24704 24707 19643 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227796526576 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24721] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24721/stat : 24721 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227795475152 140228604356507 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24722] ppid=24704 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24722/stat : 24722 (java) R 24704 24707 19643 0 -1 4202560 4877 0 0 0 92 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227794421744 140228582120616 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24723] ppid=24704 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24723/stat : 24723 (java) R 24704 24707 19643 0 -1 4202560 2832 0 0 0 92 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227793355296 140228581932656 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24724] ppid=24704 vsize=13270076 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24724/stat : 24724 (java) R 24704 24707 19643 0 -1 4202560 3274 0 0 0 97 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227792304208 140228585038215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24725] ppid=24704 vsize=13270076 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24725/stat : 24725 (java) S 24704 24707 19643 0 -1 1077944384 3335 0 0 0 56 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227791264112 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24726] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24726/stat : 24726 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227790211808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24727] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24727/stat : 24727 (java) S 24704 24707 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227789159344 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 13270076
[startup+2.00117 s]
/proc/loadavg: 2.08 1.97 1.96 6/281 24727
/proc/meminfo: memFree=31438064/32770624 swapFree=6544/174620
[pid=24707] ppid=24704 vsize=13270076 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/24707/stat : 24707 (java) S 24704 24707 19643 0 -1 1077944320 27519 0 0 0 535 15 0 0 20 0 20 0 9283077 13588557824 57514 33554432000 4194304 4196468 140736773767216 140736773749760 140228604337911 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
/proc/24707/statm: 3317519 57514 3800 1 0 3305234 0
[pid=24707/tid=24708] ppid=24704 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24708/stat : 24708 (java) R 24704 24707 19643 0 -1 4202560 11030 0 0 0 190 6 0 0 20 0 20 0 9283077 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228608574216 140228216099063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24709] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24709/stat : 24709 (java) S 24704 24707 19643 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228536474384 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24710] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24710/stat : 24710 (java) S 24704 24707 19643 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228202302352 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24711] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24711/stat : 24711 (java) S 24704 24707 19643 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228201249808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24712] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24712/stat : 24712 (java) S 24704 24707 19643 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228200197264 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24713] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24713/stat : 24713 (java) S 24704 24707 19643 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228199143696 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24714] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24714/stat : 24714 (java) S 24704 24707 19643 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228198091152 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24715] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24715/stat : 24715 (java) S 24704 24707 19643 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228197038608 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24716] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24716/stat : 24716 (java) S 24704 24707 19643 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9283078 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228195986064 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24718] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24718/stat : 24718 (java) S 24704 24707 19643 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 9283080 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228135221744 140228604349058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24719] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24719/stat : 24719 (java) S 24704 24707 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 57514 33554432000 4194304 4196468 140736773767216 140228134168032 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24720] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24720/stat : 24720 (java) S 24704 24707 19643 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9283081 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227796526576 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24721] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24721/stat : 24721 (java) S 24704 24707 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227795475152 140228604356507 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24722] ppid=24704 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24722/stat : 24722 (java) R 24704 24707 19643 0 -1 4202560 4877 0 0 0 92 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227794421744 140228583592678 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24723] ppid=24704 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24723/stat : 24723 (java) R 24704 24707 19643 0 -1 4202560 2832 0 0 0 92 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227793355296 140228589453089 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24724] ppid=24704 vsize=13270076 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24724/stat : 24724 (java) R 24704 24707 19643 0 -1 4202560 3274 0 0 0 98 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227792304208 140228587722592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24725] ppid=24704 vsize=13270076 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24725/stat : 24725 (java) S 24704 24707 19643 0 -1 1077944384 3335 0 0 0 56 1 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227791264112 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24726] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24726/stat : 24726 (java) S 24704 24707 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227790211808 140228604348117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
[pid=24707/tid=24727] ppid=24704 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24707/task/24727/stat : 24727 (java) S 24704 24707 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9283085 13588557824 57514 33554432000 4194304 4196468 140736773767216 140227789159344 140228604349058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35450880 140736773772429 140736773772612 140736773772612 140736773775311 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 2.02133
CPU time (s): 5.53128
CPU user time (s): 5.37226
CPU system time (s): 0.15902
CPU usage (%): 273.645
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.37226
system time used= 0.15902
maximum resident set size= 230644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3709
involuntary context switches= 396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024129 second user time and 0.027276 second system time
The end