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-4103624-1466245428/watcher-4103624-1466245428 -o /tmp/evaluation-result-4103624-1466245428/solver-4103624-1466245428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466241833-6932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103624-1466245428.opb
pid=7557
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.27 2.21 2.18 5/173 7561
/proc/meminfo: memFree=30174744/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 1300 0 0 0 0 0 0 0 20 0 2 0 26589641 96370688 931 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 23528 931 705 9 0 16769 0
[pid=7561/tid=7563] ppid=7557 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 104 0 0 0 0 0 0 0 20 0 2 0 26589642 98635776 959 33554432000 1073741824 1073778376 140735213094080 139904798232104 259103177267 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.27 2.21 2.18 5/173 7561
/proc/meminfo: memFree=30174744/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 4529 0 1 0 9 1 0 0 20 0 18 0 26589641 9787879424 5644 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2389619 5650 2155 9 0 2380296 0
[pid=7561/tid=7563] ppid=7557 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2430 0 1 0 7 0 0 0 20 0 18 0 26589642 9787879424 5661 33554432000 1073741824 1073778376 140735213094080 139904798235552 259115771149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200264 s]
/proc/loadavg: 2.27 2.21 2.18 5/173 7561
/proc/meminfo: memFree=30174744/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9558476 CPUtime=0.32 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 7229 0 1 0 31 1 0 0 20 0 18 0 26589641 9787879424 8050 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2389619 8050 2217 9 0 2380296 0
[pid=7561/tid=7563] ppid=7557 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2449 0 1 0 17 0 0 0 20 0 18 0 26589642 9787879424 8050 33554432000 1073741824 1073778376 140735213094080 139904798236696 139904738374864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9558476
[startup+0.300258 s]
/proc/loadavg: 2.27 2.21 2.18 5/173 7561
/proc/meminfo: memFree=30174744/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 9417 0 1 0 60 2 0 0 20 0 19 0 26589641 9856040960 10123 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 10123 2236 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2474 0 1 0 26 1 0 0 20 0 19 0 26589642 9856040960 10123 33554432000 1073741824 1073778376 140735213094080 139904798237312 139904801522554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9625040
[startup+0.70024 s]
/proc/loadavg: 2.27 2.21 2.18 5/173 7561
/proc/meminfo: memFree=30174744/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 10763 0 1 0 125 2 0 0 20 0 19 0 26589641 9856040960 11386 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 11386 2246 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2478 0 1 0 66 1 0 0 20 0 19 0 26589642 9856040960 11386 33554432000 1073741824 1073778376 140735213094080 139904798236760 139904738516609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040
[startup+1.50075 s]
/proc/loadavg: 2.27 2.21 2.18 5/212 7630
/proc/meminfo: memFree=30057760/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 14592 0 1 0 242 3 0 0 20 0 19 0 26589641 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 14165 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2482 0 1 0 146 1 0 0 20 0 19 0 26589642 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904798228176 139904738676800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 4381 0 0 0 40 0 0 0 20 0 19 0 26589646 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 6456 0 0 0 52 2 0 0 20 0 19 0 26589646 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 14165 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040
[startup+3.10087 s]
/proc/loadavg: 2.25 2.20 2.18 4/213 7631
/proc/meminfo: memFree=29994768/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=4.47 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 17701 0 1 0 443 4 0 0 20 0 19 0 26589641 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 15631 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2485 0 1 0 306 1 0 0 20 0 19 0 26589642 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904798234136 139904738496003 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 4779 0 0 0 47 0 0 0 20 0 19 0 26589646 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 9163 0 0 0 86 2 0 0 20 0 19 0 26589646 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9625040
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7561 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20101 s]
/proc/loadavg: 2.25 2.20 2.18 4/213 7631
/proc/meminfo: memFree=29994768/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=4.57 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 17701 0 1 0 453 4 0 0 20 0 19 0 26589641 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 15631 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=3.17 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2485 0 1 0 316 1 0 0 20 0 19 0 26589642 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904798234136 139904738646775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 15631 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 8798 0 0 0 85 1 0 0 20 0 19 0 26589646 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 9163 0 0 0 93 2 0 0 20 0 19 0 26589646 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 17942 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 9625040
[startup+5.60764 s]
/proc/loadavg: 2.25 2.20 2.18 3/213 7631
/proc/meminfo: memFree=29921904/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=7.43 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 21725 0 1 0 738 5 0 0 20 0 19 0 26589641 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 16676 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=5.57 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2490 0 1 0 556 1 0 0 20 0 19 0 26589642 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904798237056 139904738495990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 8798 0 0 0 85 1 0 0 20 0 19 0 26589646 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 9163 0 0 0 93 2 0 0 20 0 19 0 26589646 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 16676 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 9625040
[startup+6.00077 s]
/proc/loadavg: 2.25 2.20 2.18 3/213 7631
/proc/meminfo: memFree=29921904/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=7.85 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 21726 0 1 0 780 5 0 0 20 0 19 0 26589641 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 17188 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=5.96 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2491 0 1 0 595 1 0 0 20 0 19 0 26589642 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904798237056 139904738495544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 8798 0 0 0 87 2 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 9163 0 0 0 93 2 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 9625040
[startup+6.10072 s]
/proc/loadavg: 2.25 2.20 2.18 3/213 7631
/proc/meminfo: memFree=29921904/32872528 swapFree=1497824/1644992
[pid=7561] ppid=7557 vsize=9625040 CPUtime=7.95 cores=0,2,4,6
/proc/7561/stat : 7561 (java) S 7557 7561 6916 0 -1 4202496 21727 0 1 0 790 5 0 0 20 0 19 0 26589641 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 140735213085216 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7561/statm: 2406260 17188 2261 9 0 2396937 0
[pid=7561/tid=7563] ppid=7557 vsize=9625040 CPUtime=6.06 cores=0,2,4,6
/proc/7561/task/7563/stat : 7563 (java) R 7557 7561 6916 0 -1 4202560 2492 0 1 0 605 1 0 0 20 0 19 0 26589642 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904798237176 139904738580685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7565] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7565/stat : 7565 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904736967592 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7566] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7566/stat : 7566 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904735915048 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7567] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7567/stat : 7567 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904639777448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7568] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7568/stat : 7568 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904638724904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7569] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7569/stat : 7569 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904637671848 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7570] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7570/stat : 7570 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904636619304 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7571] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7571/stat : 7571 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904635566248 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7561/tid=7572] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7572/stat : 7572 (java) S 7557 7561 6916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 26589643 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904634513704 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7573] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7573/stat : 7573 (java) S 7557 7561 6916 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904622316392 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7574] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7574/stat : 7574 (java) S 7557 7561 6916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904621262712 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7575] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7575/stat : 7575 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589644 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904620209544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7576] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7576/stat : 7576 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904619158288 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7577] ppid=7557 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/7561/task/7577/stat : 7577 (java) S 7557 7561 6916 0 -1 4202560 8798 0 0 0 87 2 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904618105144 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7561/tid=7578] ppid=7557 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/7561/task/7578/stat : 7578 (java) S 7557 7561 6916 0 -1 4202560 9163 0 0 0 93 2 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904617052600 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7579] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7579/stat : 7579 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904615999736 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7561/tid=7580] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7580/stat : 7580 (java) S 7557 7561 6916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 26589646 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904614947400 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7561/tid=7596] ppid=7557 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7561/task/7596/stat : 7596 (java) S 7557 7561 6916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 26589669 9856040960 17188 33554432000 1073741824 1073778376 140735213094080 139904613893672 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 9625040
Child status: 30
Real time (s): 6.13881
CPU time (s): 8.01278
CPU user time (s): 7.9198
CPU system time (s): 0.092985
CPU usage (%): 130.527
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.9198
system time used= 0.092985
maximum resident set size= 74960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21751
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 444
involuntary context switches= 51
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031995 second user time and 0.047992 second system time
The end