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-4249766-1500739917/watcher-4249766-1500739917 -o /tmp/evaluation-result-4249766-1500739917/solver-4249766-1500739917 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500714200-19267 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2123158864 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249766-1500739917.xml
pid=22807
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: 4.12 2.73 2.24 10/264 22810
/proc/meminfo: memFree=22383228/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 9258720 369864704 1413 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 90299 1413 1072 1 0 79210 0
[pid=22810/tid=22811] ppid=22807 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) S 22807 22810 19235 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 9258721 369864704 1413 33554432000 4194304 4196468 140726573209872 139781495216544 139781490985602 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[startup+0.100135 s]
/proc/loadavg: 4.12 2.73 2.24 10/264 22810
/proc/meminfo: memFree=22383228/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 6687 0 0 0 9 1 0 0 20 0 20 0 9258720 13582245888 7467 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3315978 7467 3371 1 0 3303698 0
[pid=22810/tid=22811] ppid=22807 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 4747 0 0 0 7 1 0 0 20 0 20 0 9258721 13582245888 7467 33554432000 4194304 4196468 140726573209872 139781495157384 139781477042574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200406 s]
/proc/loadavg: 4.12 2.73 2.24 10/264 22810
/proc/meminfo: memFree=22383228/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 8857 0 0 0 25 2 0 0 20 0 20 0 9258720 13582245888 9786 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3315978 9786 3541 1 0 3303698 0
[pid=22810/tid=22811] ppid=22807 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) D 22807 22810 19235 0 -1 1077944384 6554 0 0 0 17 1 0 0 20 0 20 0 9258721 13582245888 9786 33554432000 4194304 4196468 140726573209872 139781495185616 139781483653677 0 4 0 16800975 18446744072101715492 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.30039 s]
/proc/loadavg: 4.12 2.73 2.24 10/264 22810
/proc/meminfo: memFree=22383228/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=13263912 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 10042 0 0 0 41 3 0 0 20 0 20 0 9258720 13582245888 11795 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3315978 11795 3672 1 0 3303698 0
[pid=22810/tid=22811] ppid=22807 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 7177 0 0 0 25 3 0 0 20 0 20 0 9258721 13582245888 11795 33554432000 4194304 4196468 140726573209872 139781495187808 139781476712951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912
[startup+0.700352 s]
/proc/loadavg: 4.12 2.73 2.24 10/264 22810
/proc/meminfo: memFree=22383228/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=13265980 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 13442 0 0 0 136 7 0 0 20 0 20 0 9258720 13584363520 18724 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3316495 18724 3763 1 0 3304210 0
[pid=22810/tid=22811] ppid=22807 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 8117 0 0 0 61 6 0 0 20 0 20 0 9258721 13584363520 18724 33554432000 4194304 4196468 140726573209872 139781495186672 139781468200434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 13265980
[startup+1.50108 s]
/proc/loadavg: 4.12 2.73 2.24 6/284 22830
/proc/meminfo: memFree=22016688/32770624 swapFree=5904/305492
[pid=22810] ppid=22807 vsize=13270076 CPUtime=4.37 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 30130 0 0 0 416 21 0 0 20 0 20 0 9258720 13588557824 60246 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3317519 60246 3802 1 0 3305234 0
[pid=22810/tid=22811] ppid=22807 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 11005 0 0 0 136 9 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781495209768 139781134981793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22813] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22813/stat : 22813 (java) S 22807 22810 19235 0 -1 1077944384 33 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781089905552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22814] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22814/stat : 22814 (java) S 22807 22810 19235 0 -1 1077944384 48 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781088852752 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22815] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22815/stat : 22815 (java) S 22807 22810 19235 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781087800464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22816] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22816/stat : 22816 (java) S 22807 22810 19235 0 -1 1077944384 36 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781086747664 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22817] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22817/stat : 22817 (java) S 22807 22810 19235 0 -1 1077944384 45 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781085694352 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22818] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22818/stat : 22818 (java) S 22807 22810 19235 0 -1 1077944384 233 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781084641552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22819] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22819/stat : 22819 (java) S 22807 22810 19235 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781083589264 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22820] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22820/stat : 22820 (java) S 22807 22810 19235 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 60246 33554432000 4194304 4196468 140726573209872 139781082536464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22821] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22821/stat : 22821 (java) S 22807 22810 19235 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 9258723 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780156226160 139781490985602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22822] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22822/stat : 22822 (java) S 22807 22810 19235 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780155172128 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22823] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22823/stat : 22823 (java) S 22807 22810 19235 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780154119792 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22824] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22824/stat : 22824 (java) S 22807 22810 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780153068112 139781490993051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22825] ppid=22807 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22825/stat : 22825 (java) R 22807 22810 19235 0 -1 4202560 2934 0 0 0 71 0 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780151995976 139781474473320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22826] ppid=22807 vsize=13270076 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22826/stat : 22826 (java) R 22807 22810 19235 0 -1 4202560 2433 0 0 0 60 1 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780150948040 139781476076276 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22827] ppid=22807 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22827/stat : 22827 (java) R 22807 22810 19235 0 -1 4202560 4131 0 0 0 73 0 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780149896688 139781472499982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22828] ppid=22807 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22828/stat : 22828 (java) S 22807 22810 19235 0 -1 1077944384 7572 0 0 0 68 1 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780148857072 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22829] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22829/stat : 22829 (java) S 22807 22810 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780147805024 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22830] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22830/stat : 22830 (java) S 22807 22810 19235 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 60246 33554432000 4194304 4196468 140726573209872 139780146752304 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 13270076
[startup+3.1008 s]
/proc/loadavg: 4.27 2.79 2.26 10/284 22830
/proc/meminfo: memFree=21812156/32770624 swapFree=5904/305516
[pid=22810] ppid=22807 vsize=13270076 CPUtime=8.42 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 35141 0 0 0 812 30 0 0 20 0 20 0 9258720 13588557824 66234 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3317519 66234 3808 1 0 3305234 0
[pid=22810/tid=22811] ppid=22807 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 11365 0 0 0 293 9 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781495210696 139781136177264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22813] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22813/stat : 22813 (java) S 22807 22810 19235 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781089905552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22814] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22814/stat : 22814 (java) S 22807 22810 19235 0 -1 1077944384 131 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781088852752 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22815] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22815/stat : 22815 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781087800464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22816] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22816/stat : 22816 (java) S 22807 22810 19235 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781086747664 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22817] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22817/stat : 22817 (java) S 22807 22810 19235 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781085694352 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22818] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22818/stat : 22818 (java) S 22807 22810 19235 0 -1 1077944384 256 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781084641552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22819] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22819/stat : 22819 (java) S 22807 22810 19235 0 -1 1077944384 63 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781083589264 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22820] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22820/stat : 22820 (java) S 22807 22810 19235 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781082536464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22821] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22821/stat : 22821 (java) S 22807 22810 19235 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 9258723 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780156226160 139781490985602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22822] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22822/stat : 22822 (java) S 22807 22810 19235 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780155172192 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22823] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22823/stat : 22823 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780154119808 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22824] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22824/stat : 22824 (java) S 22807 22810 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780153068112 139781490993051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22825] ppid=22807 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22825/stat : 22825 (java) S 22807 22810 19235 0 -1 1077944384 4328 0 0 0 148 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780152014960 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22826] ppid=22807 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22826/stat : 22826 (java) S 22807 22810 19235 0 -1 1077944384 3417 0 0 0 136 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780150962160 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22827] ppid=22807 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22827/stat : 22827 (java) S 22807 22810 19235 0 -1 1077944384 5265 0 0 0 149 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780149909872 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22828] ppid=22807 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22828/stat : 22828 (java) S 22807 22810 19235 0 -1 1077944384 7677 0 0 0 70 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780148857072 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22829] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22829/stat : 22829 (java) S 22807 22810 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780147805024 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22830] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22830/stat : 22830 (java) S 22807 22810 19235 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780146752304 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 8.42
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22810 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20101 s]
/proc/loadavg: 4.27 2.79 2.26 10/284 22830
/proc/meminfo: memFree=21812156/32770624 swapFree=5904/305516
[pid=22810] ppid=22807 vsize=13270076 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 35141 0 0 0 822 30 0 0 20 0 20 0 9258720 13588557824 66234 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3317519 66234 3808 1 0 3305234 0
[pid=22810/tid=22811] ppid=22807 vsize=13270076 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 11365 0 0 0 303 9 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781495204112 139781135758101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22813] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22813/stat : 22813 (java) S 22807 22810 19235 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781089905552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22814] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22814/stat : 22814 (java) S 22807 22810 19235 0 -1 1077944384 131 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781088852752 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22815] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22815/stat : 22815 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781087800464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22816] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22816/stat : 22816 (java) S 22807 22810 19235 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781086747664 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22817] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22817/stat : 22817 (java) S 22807 22810 19235 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781085694352 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22818] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22818/stat : 22818 (java) S 22807 22810 19235 0 -1 1077944384 256 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781084641552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22819] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22819/stat : 22819 (java) S 22807 22810 19235 0 -1 1077944384 63 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781083589264 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22820] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22820/stat : 22820 (java) S 22807 22810 19235 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 66234 33554432000 4194304 4196468 140726573209872 139781082536464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22821] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22821/stat : 22821 (java) S 22807 22810 19235 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 9258723 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780156226160 139781490985602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22822] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22822/stat : 22822 (java) S 22807 22810 19235 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780155172192 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22823] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22823/stat : 22823 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780154119808 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22824] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22824/stat : 22824 (java) S 22807 22810 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780153068112 139781490993051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22825] ppid=22807 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22825/stat : 22825 (java) S 22807 22810 19235 0 -1 1077944384 4328 0 0 0 148 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780152014960 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22826] ppid=22807 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22826/stat : 22826 (java) S 22807 22810 19235 0 -1 1077944384 3417 0 0 0 136 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780150962160 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22827] ppid=22807 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22827/stat : 22827 (java) S 22807 22810 19235 0 -1 1077944384 5265 0 0 0 149 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780149909872 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22828] ppid=22807 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22828/stat : 22828 (java) S 22807 22810 19235 0 -1 1077944384 7677 0 0 0 70 1 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780148857072 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22829] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22829/stat : 22829 (java) S 22807 22810 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780147805024 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22830] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22830/stat : 22830 (java) S 22807 22810 19235 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 66234 33554432000 4194304 4196468 140726573209872 139780146752304 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 13270076
[startup+3.60082 s]
/proc/loadavg: 4.27 2.79 2.26 10/284 22830
/proc/meminfo: memFree=21758852/32770624 swapFree=5904/305516
[pid=22810] ppid=22807 vsize=13270076 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 35203 0 0 0 862 30 0 0 20 0 20 0 9258720 13588557824 79546 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3317519 79546 3808 1 0 3305234 0
[pid=22810/tid=22811] ppid=22807 vsize=13270076 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 11425 0 0 0 343 9 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781495210480 139781135642874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22813] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22813/stat : 22813 (java) S 22807 22810 19235 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781089905552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22814] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22814/stat : 22814 (java) S 22807 22810 19235 0 -1 1077944384 131 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781088852752 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22815] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22815/stat : 22815 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781087800464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22816] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22816/stat : 22816 (java) S 22807 22810 19235 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781086747664 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22817] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22817/stat : 22817 (java) S 22807 22810 19235 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781085694352 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22818] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22818/stat : 22818 (java) S 22807 22810 19235 0 -1 1077944384 256 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781084641552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22819] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22819/stat : 22819 (java) S 22807 22810 19235 0 -1 1077944384 63 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781083589264 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22820] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22820/stat : 22820 (java) S 22807 22810 19235 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 79546 33554432000 4194304 4196468 140726573209872 139781082536464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22821] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22821/stat : 22821 (java) S 22807 22810 19235 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 9258723 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780156226160 139781490985602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22822] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22822/stat : 22822 (java) S 22807 22810 19235 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780155172192 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22823] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22823/stat : 22823 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780154119808 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22824] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22824/stat : 22824 (java) S 22807 22810 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780153068112 139781490993051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22825] ppid=22807 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22825/stat : 22825 (java) S 22807 22810 19235 0 -1 1077944384 4328 0 0 0 148 1 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780152014960 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22826] ppid=22807 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22826/stat : 22826 (java) S 22807 22810 19235 0 -1 1077944384 3417 0 0 0 136 1 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780150962160 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22827] ppid=22807 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22827/stat : 22827 (java) S 22807 22810 19235 0 -1 1077944384 5265 0 0 0 149 1 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780149909872 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22828] ppid=22807 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22828/stat : 22828 (java) S 22807 22810 19235 0 -1 1077944384 7679 0 0 0 70 1 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780148857072 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22829] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22829/stat : 22829 (java) S 22807 22810 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780147805024 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22830] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22830/stat : 22830 (java) S 22807 22810 19235 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 79546 33554432000 4194304 4196468 140726573209872 139780146752304 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 8.92
Current children cumulated vsize (KiB) 13270076
[startup+3.80076 s]
/proc/loadavg: 4.27 2.79 2.26 10/284 22830
/proc/meminfo: memFree=21758852/32770624 swapFree=5904/305516
[pid=22810] ppid=22807 vsize=13270076 CPUtime=9.12 cores=1,3,5,7,9,11,13,15
/proc/22810/stat : 22810 (java) S 22807 22810 19235 0 -1 1077944320 35240 0 0 0 881 31 0 0 20 0 20 0 9258720 13588557824 88250 33554432000 4194304 4196468 140726573209872 140726573192416 139781490974455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
/proc/22810/statm: 3317519 88250 3808 1 0 3305234 0
[pid=22810/tid=22811] ppid=22807 vsize=13270076 CPUtime=3.72 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22811/stat : 22811 (java) R 22807 22810 19235 0 -1 4202560 11462 0 0 0 362 10 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781495210480 139781136430172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22813] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22813/stat : 22813 (java) S 22807 22810 19235 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781089905552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22814] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22814/stat : 22814 (java) S 22807 22810 19235 0 -1 1077944384 131 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781088852752 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22815] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22815/stat : 22815 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781087800464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22816] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22816/stat : 22816 (java) S 22807 22810 19235 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781086747664 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22817] ppid=22807 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22817/stat : 22817 (java) S 22807 22810 19235 0 -1 1077944384 686 0 0 0 1 1 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781085694352 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22818] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22818/stat : 22818 (java) S 22807 22810 19235 0 -1 1077944384 256 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781084641552 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22819] ppid=22807 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22819/stat : 22819 (java) S 22807 22810 19235 0 -1 1077944384 63 0 0 0 0 1 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781083589264 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22820] ppid=22807 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22820/stat : 22820 (java) S 22807 22810 19235 0 -1 1077944384 35 0 0 0 1 2 0 0 20 0 20 0 9258721 13588557824 88250 33554432000 4194304 4196468 140726573209872 139781082536464 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22821] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22821/stat : 22821 (java) S 22807 22810 19235 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 9258723 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780156226160 139781490985602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22822] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22822/stat : 22822 (java) S 22807 22810 19235 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780155172192 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22823] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22823/stat : 22823 (java) S 22807 22810 19235 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 9258724 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780154119808 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22824] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22824/stat : 22824 (java) S 22807 22810 19235 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780153068112 139781490993051 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22825] ppid=22807 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22825/stat : 22825 (java) S 22807 22810 19235 0 -1 1077944384 4328 0 0 0 148 1 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780152014960 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22826] ppid=22807 vsize=13270076 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22826/stat : 22826 (java) S 22807 22810 19235 0 -1 1077944384 3417 0 0 0 136 1 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780150962160 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22827] ppid=22807 vsize=13270076 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22827/stat : 22827 (java) S 22807 22810 19235 0 -1 1077944384 5265 0 0 0 149 1 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780149909872 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22828] ppid=22807 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22828/stat : 22828 (java) S 22807 22810 19235 0 -1 1077944384 7679 0 0 0 70 1 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780148857072 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22829] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22829/stat : 22829 (java) S 22807 22810 19235 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780147805024 139781490984661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
[pid=22810/tid=22830] ppid=22807 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22810/task/22830/stat : 22830 (java) S 22807 22810 19235 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 9258727 13588557824 88250 33554432000 4194304 4196468 140726573209872 139780146752304 139781490985602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38731776 140726573216909 140726573217092 140726573217092 140726573219791 0
Current children cumulated CPU time (s) 9.12
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 3.83473
CPU time (s): 9.15965
CPU user time (s): 8.83604
CPU system time (s): 0.323601
CPU usage (%): 238.86
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.83605
system time used= 0.323601
maximum resident set size= 353540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35479
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= 4024
involuntary context switches= 609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031696 second user time and 0.041658 second system time
The end