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-4249944-1500766905/watcher-4249944-1500766905 -o /tmp/evaluation-result-4249944-1500766905/solver-4249944-1500766905 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500752537-28234 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249944-1500766905.xml
pid=30429
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.15 2.05 2.05 3/265 30432
/proc/meminfo: memFree=31187556/32770624 swapFree=5688/318404
[pid=30432] ppid=30429 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 2097 0 0 0 0 0 0 0 20 0 2 0 11957681 8550137856 2310 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2087436 2376 1198 1 0 2076347 0
[pid=30432/tid=30433] ppid=30429 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) R 30429 30432 28202 0 -1 4202560 895 0 0 0 0 0 0 0 20 0 2 0 11957681 8550137856 2442 33554432000 4194304 4196468 140733469845152 140398235011488 140398223058848 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[startup+0.100065 s]
/proc/loadavg: 2.15 2.05 2.05 3/265 30432
/proc/meminfo: memFree=31187556/32770624 swapFree=5688/318404
[pid=30432] ppid=30429 vsize=10900580 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 4939 0 0 0 8 1 0 0 20 0 20 0 11957681 11162193920 6037 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2725145 6037 2634 1 0 2713552 0
[pid=30432/tid=30433] ppid=30429 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) R 30429 30432 28202 0 -1 4202560 3027 0 0 0 7 1 0 0 20 0 20 0 11957681 11162193920 6037 33554432000 4194304 4196468 140733469845152 140398235011680 140398230791325 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.200404 s]
/proc/loadavg: 2.15 2.05 2.05 3/265 30432
/proc/meminfo: memFree=31187556/32770624 swapFree=5688/318404
[pid=30432] ppid=30429 vsize=10900580 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 7612 0 0 0 25 2 0 0 20 0 20 0 11957681 11162193920 8991 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2725145 8991 2878 1 0 2713552 0
[pid=30432/tid=30433] ppid=30429 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) R 30429 30432 28202 0 -1 4202560 4803 0 0 0 16 2 0 0 20 0 20 0 11957681 11162193920 8991 33554432000 4194304 4196468 140733469845152 140398234983216 140398214849916 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300317 s]
/proc/loadavg: 2.15 2.05 2.05 3/265 30432
/proc/meminfo: memFree=31187556/32770624 swapFree=5688/318404
[pid=30432] ppid=30429 vsize=10969228 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 8434 0 0 0 45 3 0 0 20 0 21 0 11957681 11232489472 13310 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2742307 13310 2998 1 0 2730193 0
[pid=30432/tid=30433] ppid=30429 vsize=10969228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) S 30429 30432 28202 0 -1 1077944384 5176 0 0 0 23 2 0 0 20 0 21 0 11957681 11232489472 13310 33554432000 4194304 4196468 140733469845152 140398235012272 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700222 s]
/proc/loadavg: 2.15 2.05 2.05 3/265 30432
/proc/meminfo: memFree=31187556/32770624 swapFree=5688/318404
[pid=30432] ppid=30429 vsize=10971352 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 12377 0 0 0 145 5 0 0 20 0 21 0 11957681 11234664448 19620 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2742838 19620 3111 1 0 2730705 0
[pid=30432/tid=30433] ppid=30429 vsize=10971352 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) S 30429 30432 28202 0 -1 1077944384 5176 0 0 0 23 2 0 0 20 0 21 0 11957681 11234664448 19620 33554432000 4194304 4196468 140733469845152 140398235012272 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10971352
[startup+1.50104 s]
/proc/loadavg: 2.15 2.05 2.05 4/286 30453
/proc/meminfo: memFree=31100936/32770624 swapFree=5688/318232
[pid=30432] ppid=30429 vsize=10973400 CPUtime=3.89 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 22987 0 0 0 381 8 0 0 20 0 21 0 11957681 11236761600 32014 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2743358 32014 3126 1 0 2731225 0
[pid=30432/tid=30433] ppid=30429 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) S 30429 30432 28202 0 -1 1077944384 5176 0 0 0 23 2 0 0 20 0 21 0 11957681 11236761600 32014 33554432000 4194304 4196468 140733469845152 140398235012272 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30434] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30434/stat : 30434 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140398187322512 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30436] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30436/stat : 30436 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397836688400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30437] ppid=30429 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30437/stat : 30437 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236794368 32014 33554432000 4194304 4196468 140733469845152 140397835635600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30438] ppid=30429 vsize=10973432 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30438/stat : 30438 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236794368 32014 33554432000 4194304 4196468 140733469845152 140397834582800 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30439] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30439/stat : 30439 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397833530000 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30440] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30440/stat : 30440 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397832477200 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30441] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30441/stat : 30441 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397831424400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30442] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30442/stat : 30442 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397830371600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30443] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30443/stat : 30443 (java) S 30429 30432 28202 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11957685 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397705644912 140398230780546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30444] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30444/stat : 30444 (java) S 30429 30432 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 32014 33554432000 4194304 4196468 140733469845152 140397704590880 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30445] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30445/stat : 30445 (java) S 30429 30432 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397703538032 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30446] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30446/stat : 30446 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397702486352 140398230787995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30447] ppid=30429 vsize=10973400 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30447/stat : 30447 (java) R 30429 30432 28202 0 -1 4202560 5089 0 0 0 75 0 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397701419208 140398210013252 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30448] ppid=30429 vsize=10973400 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30448/stat : 30448 (java) R 30429 30432 28202 0 -1 4202560 2195 0 0 0 49 0 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397700367344 140398212292689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30449] ppid=30429 vsize=10973400 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30449/stat : 30449 (java) R 30429 30432 28202 0 -1 4202560 2370 0 0 0 54 1 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397699309128 140398216452434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30450] ppid=30429 vsize=10973400 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30450/stat : 30450 (java) S 30429 30432 28202 0 -1 1077944384 3546 0 0 0 59 1 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397698275312 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30451] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30451/stat : 30451 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397697223776 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30452] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30452/stat : 30452 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397696171056 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30453] ppid=30429 vsize=10973400 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30453/stat : 30453 (java) R 30429 30432 28202 0 -1 4202560 3251 0 0 0 119 2 0 0 20 0 21 0 11957709 11236761600 32016 33554432000 4194304 4196468 140733469845152 140397692958192 140398214849886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30432 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6013 s]
/proc/loadavg: 2.15 2.05 2.05 4/286 30453
/proc/meminfo: memFree=31100936/32770624 swapFree=5688/318232
[pid=30432] ppid=30429 vsize=10973400 CPUtime=4.31 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 23775 0 0 0 422 9 0 0 20 0 21 0 11957681 11236761600 35467 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2743350 35467 3132 1 0 2731217 0
[pid=30432/tid=30433] ppid=30429 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) S 30429 30432 28202 0 -1 1077944384 5176 0 0 0 23 2 0 0 20 0 21 0 11957681 11236761600 35467 33554432000 4194304 4196468 140733469845152 140398235012272 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30434] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30434/stat : 30434 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140398187322512 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30436] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30436/stat : 30436 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397836688400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30437] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30437/stat : 30437 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397835635600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30438] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30438/stat : 30438 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397834582800 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30439] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30439/stat : 30439 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397833530000 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30440] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30440/stat : 30440 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397832477200 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30441] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30441/stat : 30441 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397831424400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30442] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30442/stat : 30442 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397830371600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30443] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30443/stat : 30443 (java) S 30429 30432 28202 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 11957685 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397705644912 140398230780546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30444] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30444/stat : 30444 (java) S 30429 30432 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397704590880 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30445] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30445/stat : 30445 (java) S 30429 30432 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397703538032 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30446] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30446/stat : 30446 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397702486352 140398230787995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30447] ppid=30429 vsize=10973400 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30447/stat : 30447 (java) R 30429 30432 28202 0 -1 4202560 5281 0 0 0 84 0 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397701422880 140398215698812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30448] ppid=30429 vsize=10973400 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30448/stat : 30448 (java) R 30429 30432 28202 0 -1 4202560 2324 0 0 0 57 0 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397700370792 140398215668906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30449] ppid=30429 vsize=10973400 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30449/stat : 30449 (java) R 30429 30432 28202 0 -1 4202560 2437 0 0 0 62 1 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397699318032 140398211516336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30450] ppid=30429 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30450/stat : 30450 (java) S 30429 30432 28202 0 -1 1077944384 3675 0 0 0 64 1 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397698275312 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30451] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30451/stat : 30451 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397697223776 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30452] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30452/stat : 30452 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397696171056 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30453] ppid=30429 vsize=10973400 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30453/stat : 30453 (java) R 30429 30432 28202 0 -1 4202560 3483 0 0 0 129 2 0 0 20 0 21 0 11957709 11236761600 35467 33554432000 4194304 4196468 140733469845152 140397692980680 140397871557380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10973400
[startup+1.70107 s]
/proc/loadavg: 2.15 2.05 2.05 4/286 30453
/proc/meminfo: memFree=31100936/32770624 swapFree=5688/318232
[pid=30432] ppid=30429 vsize=10973400 CPUtime=4.61 cores=1,3,5,7,9,11,13,15
/proc/30432/stat : 30432 (java) S 30429 30432 28202 0 -1 1077944320 24439 0 0 0 452 9 0 0 20 0 21 0 11957681 11236761600 36096 33554432000 4194304 4196468 140733469845152 140733469827696 140398230769399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
/proc/30432/statm: 2743350 36096 3133 1 0 2731217 0
[pid=30432/tid=30433] ppid=30429 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30433/stat : 30433 (java) S 30429 30432 28202 0 -1 1077944384 5188 0 0 0 23 2 0 0 20 0 21 0 11957681 11236761600 36096 33554432000 4194304 4196468 140733469845152 140398235010208 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30434] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30434/stat : 30434 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140398187322512 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30436] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30436/stat : 30436 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397836688400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30437] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30437/stat : 30437 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397835635600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30438] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30438/stat : 30438 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397834582800 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30439] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30439/stat : 30439 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397833530000 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30440] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30440/stat : 30440 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397832477200 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30441] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30441/stat : 30441 (java) S 30429 30432 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397831424400 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30442] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30442/stat : 30442 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957682 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397830371600 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30443] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30443/stat : 30443 (java) S 30429 30432 28202 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 21 0 11957685 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397705644912 140398230780546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30444] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30444/stat : 30444 (java) S 30429 30432 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397704590880 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30445] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30445/stat : 30445 (java) S 30429 30432 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11957686 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397703538032 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30446] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30446/stat : 30446 (java) S 30429 30432 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397702486352 140398230787995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30447] ppid=30429 vsize=10973400 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30447/stat : 30447 (java) S 30429 30432 28202 0 -1 1077944384 5305 0 0 0 90 0 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397701433712 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30448] ppid=30429 vsize=10973388 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30448/stat : 30448 (java) S 30429 30432 28202 0 -1 1077944384 2830 0 0 0 65 0 0 0 20 0 21 0 11957690 11236749312 36096 33554432000 4194304 4196468 140733469845152 140397700380912 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30449] ppid=30429 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30449/stat : 30449 (java) S 30429 30432 28202 0 -1 1077944384 2484 0 0 0 67 1 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397699328112 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30450] ppid=30429 vsize=10973400 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30450/stat : 30450 (java) S 30429 30432 28202 0 -1 1077944384 3692 0 0 0 65 1 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397698275312 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30451] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30451/stat : 30451 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397697223776 140398230779605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
[pid=30432/tid=30452] ppid=30429 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30432/task/30452/stat : 30452 (java) S 30429 30432 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11957690 11236761600 36096 33554432000 4194304 4196468 140733469845152 140397696171056 140398230780546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31485952 140733469852867 140733469852996 140733469852996 140733469855695 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.71225
CPU time (s): 4.62662
CPU user time (s): 4.52455
CPU system time (s): 0.102072
CPU usage (%): 270.207
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.52455
system time used= 0.102072
maximum resident set size= 145148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24623
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= 3044
involuntary context switches= 367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014555 second user time and 0.020377 second system time
The end