runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454520-1307188397/watcher-3454520-1307188397 -o /tmp/evaluation-result-3454520-1307188397/solver-3454520-1307188397 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454520-1307188397.opb
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: 1.13 1.15 1.50 3/508 7827
/proc/meminfo: memFree=16727880/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 1559 0 1 0 0 0 0 0 17 0 2 0 811255802 10681323520 1260 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2607745 1273 906 9 0 2598901 0
[pid=7827/tid=7831] ppid=7825 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) R 7825 7827 5093 0 -1 4202560 5163 0 1 0 0 0 0 0 18 0 2 0 811255803 10694979584 5979 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.103309 s]
/proc/loadavg: 1.13 1.15 1.50 3/508 7827
/proc/meminfo: memFree=16727880/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10539636 CPUtime=0.1 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 13068 0 1 0 9 1 0 0 17 0 18 0 811255802 10792587264 12731 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2634909 12731 2093 9 0 2625643 0
[pid=7827/tid=7831] ppid=7825 vsize=10539636 CPUtime=0.08 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) R 7825 7827 5093 0 -1 4202560 11122 0 1 0 7 1 0 0 18 0 18 0 811255803 10792587264 12731 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 47072791374714 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539636
[startup+0.204928 s]
/proc/loadavg: 1.13 1.15 1.50 3/508 7827
/proc/meminfo: memFree=16727880/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10540288 CPUtime=0.28 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 14364 0 1 0 27 1 0 0 17 0 18 0 811255802 10793254912 13940 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2635072 13940 2187 9 0 2625806 0
[pid=7827/tid=7831] ppid=7825 vsize=10540288 CPUtime=0.18 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) R 7825 7827 5093 0 -1 4202560 11879 0 1 0 17 1 0 0 18 0 18 0 811255803 10793254912 13941 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10540288
[startup+0.300333 s]
/proc/loadavg: 1.13 1.15 1.50 3/508 7827
/proc/meminfo: memFree=16727880/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10540776 CPUtime=0.47 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 15774 0 1 0 46 1 0 0 17 0 18 0 811255802 10793754624 15147 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2635194 15148 2199 9 0 2625928 0
[pid=7827/tid=7831] ppid=7825 vsize=10540776 CPUtime=0.28 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) R 7825 7827 5093 0 -1 4202560 12932 0 1 0 27 1 0 0 18 0 18 0 811255803 10793754624 15148 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 46912505608860 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540776
[startup+0.700264 s]
/proc/loadavg: 1.13 1.15 1.50 3/508 7827
/proc/meminfo: memFree=16727880/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549184 CPUtime=0.65 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 18262 0 1 0 63 2 0 0 17 0 19 0 811255802 10802364416 16970 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637296 16970 2226 9 0 2628030 0
[pid=7827/tid=7831] ppid=7825 vsize=10549184 CPUtime=0.31 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 13703 0 1 0 30 1 0 0 19 0 19 0 811255803 10802364416 16970 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 10549184
[startup+1.50107 s]
/proc/loadavg: 1.13 1.15 1.50 3/551 7882
/proc/meminfo: memFree=16592024/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549184 CPUtime=2.23 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 23532 0 1 0 219 4 0 0 17 0 19 0 811255802 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637296 21008 2236 9 0 2628030 0
[pid=7827/tid=7831] ppid=7825 vsize=10549184 CPUtime=0.32 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 13922 0 1 0 31 1 0 0 15 0 19 0 811255803 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811255805 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) S 7825 7827 5093 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 811255806 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 0 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 811255806 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 19 0 811255806 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811255809 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118592433 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549184 CPUtime=0.29 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 2026 0 0 0 29 0 0 0 17 0 19 0 811255809 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549184 CPUtime=0.47 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2643 0 0 0 47 0 0 0 15 0 19 0 811255809 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7862] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7862/stat : 7862 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811255809 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7863] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7863/stat : 7863 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811255809 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7882] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7882/stat : 7882 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 811255891 10802364416 21008 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10549184
[startup+3.10076 s]
/proc/loadavg: 1.13 1.15 1.50 3/551 7888
/proc/meminfo: memFree=16538828/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549184 CPUtime=3.93 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 31868 0 1 0 387 6 0 0 17 0 22 0 811255802 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637296 29224 2238 9 0 2628030 0
[pid=7827/tid=7831] ppid=7825 vsize=10549184 CPUtime=0.34 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 14311 0 1 0 32 2 0 0 17 0 22 0 811255803 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811255805 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) S 7825 7827 5093 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 811255806 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 0 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 811255806 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 8 0 0 0 0 0 0 0 24 0 22 0 811255806 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118592433 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549184 CPUtime=0.31 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 2145 0 0 0 31 0 0 0 15 0 22 0 811255809 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549184 CPUtime=0.59 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2659 0 0 0 59 0 0 0 15 0 22 0 811255809 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7862] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7862/stat : 7862 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7863] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7863/stat : 7863 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811255809 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7882] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7882/stat : 7882 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255891 10802364416 29224 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10549184
[startup+6.30118 s]
/proc/loadavg: 1.36 1.20 1.51 5/554 7906
/proc/meminfo: memFree=16126020/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549184 CPUtime=8.87 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 61065 0 1 0 877 10 0 0 17 0 22 0 811255802 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637296 58344 2263 9 0 2628030 0
[pid=7827/tid=7831] ppid=7825 vsize=10549184 CPUtime=0.36 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 14865 0 1 0 34 2 0 0 16 0 22 0 811255803 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 1555 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 824 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 1955 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58344 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255805 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549184 CPUtime=0.02 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) S 7825 7827 5093 0 -1 4202560 4665 0 0 0 2 0 0 0 16 0 22 0 811255806 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 0 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811255806 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811255806 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549184 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118592433 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549184 CPUtime=0.39 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 2416 0 0 0 39 0 0 0 15 0 22 0 811255809 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549184 CPUtime=0.81 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2705 0 0 0 81 0 0 0 15 0 22 0 811255809 10802364416 58345 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1001.22 s]
/proc/loadavg: 4.08 3.67 2.94 4/554 8020
/proc/meminfo: memFree=13104012/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549556 CPUtime=1800.09 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 469056 0 1 0 179943 66 0 0 17 0 22 0 811255802 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637389 464351 2265 9 0 2628123 0
[pid=7827/tid=7831] ppid=7825 vsize=10549556 CPUtime=0.41 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 15335 0 1 0 39 2 0 0 15 0 22 0 811255803 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549556 CPUtime=2.12 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 4111 0 0 0 212 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549556 CPUtime=2.21 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 3266 0 0 0 221 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549556 CPUtime=2.31 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 4565 0 0 0 231 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549556 CPUtime=2.36 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 991 0 0 0 236 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549556 CPUtime=2.27 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 4873 0 0 0 227 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549556 CPUtime=2.15 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 3831 0 0 0 215 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549556 CPUtime=2.41 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2019 0 0 0 241 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549556 CPUtime=2.34 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 3773 0 0 0 233 1 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549556 CPUtime=198.33 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) R 7825 7827 5093 0 -1 4202560 160629 0 0 0 19812 21 0 0 16 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 47072791705658 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118592433 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549556 CPUtime=0.73 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 4661 0 0 0 72 1 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549556 CPUtime=0.93 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2974 0 0 0 93 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7862] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7862/stat : 7862 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7863] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7863/stat : 7863 (java) S 7825 7827 5093 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7882] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7882/stat : 7882 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255891 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7994] ppid=7825 vsize=10549556 CPUtime=417.72 cores=0,2,4,6
/proc/7827/task/7994/stat : 7994 (java) S 7825 7827 5093 0 -1 4202560 90 0 0 0 41772 0 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7995] ppid=7825 vsize=10549556 CPUtime=417.73 cores=0,2,4,6
/proc/7827/task/7995/stat : 7995 (java) S 7825 7827 5093 0 -1 4202560 80691 0 0 0 41763 10 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7996] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7996/stat : 7996 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10549556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1001.6 s]
/proc/loadavg: 4.08 3.67 2.94 4/554 8020
/proc/meminfo: memFree=13104012/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549556 CPUtime=1800.46 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 469056 0 1 0 179980 66 0 0 15 0 22 0 811255802 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637389 464351 2265 9 0 2628123 0
[pid=7827/tid=7831] ppid=7825 vsize=10549556 CPUtime=0.41 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 15335 0 1 0 39 2 0 0 15 0 22 0 811255803 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549556 CPUtime=2.12 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 4111 0 0 0 212 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549556 CPUtime=2.21 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 3266 0 0 0 221 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549556 CPUtime=2.31 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 4565 0 0 0 231 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549556 CPUtime=2.36 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 991 0 0 0 236 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549556 CPUtime=2.27 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 4873 0 0 0 227 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549556 CPUtime=2.15 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 3831 0 0 0 215 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549556 CPUtime=2.41 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2019 0 0 0 241 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549556 CPUtime=2.34 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 3773 0 0 0 233 1 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549556 CPUtime=198.69 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) R 7825 7827 5093 0 -1 4202560 160629 0 0 0 19848 21 0 0 17 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 47072791359560 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549556 CPUtime=0.73 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 4661 0 0 0 72 1 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549556 CPUtime=0.93 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2974 0 0 0 93 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7862] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7862/stat : 7862 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7863] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7863/stat : 7863 (java) S 7825 7827 5093 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7882] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7882/stat : 7882 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255891 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7994] ppid=7825 vsize=10549556 CPUtime=417.72 cores=0,2,4,6
/proc/7827/task/7994/stat : 7994 (java) S 7825 7827 5093 0 -1 4202560 90 0 0 0 41772 0 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7995] ppid=7825 vsize=10549556 CPUtime=417.73 cores=0,2,4,6
/proc/7827/task/7995/stat : 7995 (java) S 7825 7827 5093 0 -1 4202560 80691 0 0 0 41763 10 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7996] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7996/stat : 7996 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 10549556
[startup+1001.8 s]
/proc/loadavg: 4.08 3.67 2.94 4/554 8020
/proc/meminfo: memFree=13104012/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=10549556 CPUtime=1800.66 cores=0,2,4,6
/proc/7827/stat : 7827 (java) S 7825 7827 5093 0 -1 4202496 469056 0 1 0 180000 66 0 0 15 0 22 0 811255802 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 2637389 464351 2265 9 0 2628123 0
[pid=7827/tid=7831] ppid=7825 vsize=10549556 CPUtime=0.41 cores=0,2,4,6
/proc/7827/task/7831/stat : 7831 (java) S 7825 7827 5093 0 -1 4202560 15335 0 1 0 39 2 0 0 15 0 22 0 811255803 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7836] ppid=7825 vsize=10549556 CPUtime=2.12 cores=0,2,4,6
/proc/7827/task/7836/stat : 7836 (java) S 7825 7827 5093 0 -1 4202560 4111 0 0 0 212 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7837] ppid=7825 vsize=10549556 CPUtime=2.21 cores=0,2,4,6
/proc/7827/task/7837/stat : 7837 (java) S 7825 7827 5093 0 -1 4202560 3266 0 0 0 221 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7838] ppid=7825 vsize=10549556 CPUtime=2.31 cores=0,2,4,6
/proc/7827/task/7838/stat : 7838 (java) S 7825 7827 5093 0 -1 4202560 4565 0 0 0 231 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7839] ppid=7825 vsize=10549556 CPUtime=2.36 cores=0,2,4,6
/proc/7827/task/7839/stat : 7839 (java) S 7825 7827 5093 0 -1 4202560 991 0 0 0 236 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7840] ppid=7825 vsize=10549556 CPUtime=2.27 cores=0,2,4,6
/proc/7827/task/7840/stat : 7840 (java) S 7825 7827 5093 0 -1 4202560 4873 0 0 0 227 0 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7841] ppid=7825 vsize=10549556 CPUtime=2.15 cores=0,2,4,6
/proc/7827/task/7841/stat : 7841 (java) S 7825 7827 5093 0 -1 4202560 3831 0 0 0 215 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7842] ppid=7825 vsize=10549556 CPUtime=2.41 cores=0,2,4,6
/proc/7827/task/7842/stat : 7842 (java) S 7825 7827 5093 0 -1 4202560 2019 0 0 0 241 0 0 0 15 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7843] ppid=7825 vsize=10549556 CPUtime=2.34 cores=0,2,4,6
/proc/7827/task/7843/stat : 7843 (java) S 7825 7827 5093 0 -1 4202560 3773 0 0 0 233 1 0 0 16 0 22 0 811255805 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7853] ppid=7825 vsize=10549556 CPUtime=198.89 cores=0,2,4,6
/proc/7827/task/7853/stat : 7853 (java) R 7825 7827 5093 0 -1 4202560 160629 0 0 0 19868 21 0 0 17 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 47072788123263 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7827/tid=7854] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7854/stat : 7854 (java) S 7825 7827 5093 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7855] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7855/stat : 7855 (java) S 7825 7827 5093 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 811255806 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7859] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7859/stat : 7859 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7860] ppid=7825 vsize=10549556 CPUtime=0.73 cores=0,2,4,6
/proc/7827/task/7860/stat : 7860 (java) S 7825 7827 5093 0 -1 4202560 4661 0 0 0 72 1 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 6 0 0 0
[pid=7827/tid=7861] ppid=7825 vsize=10549556 CPUtime=0.93 cores=0,2,4,6
/proc/7827/task/7861/stat : 7861 (java) S 7825 7827 5093 0 -1 4202560 2974 0 0 0 93 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7862] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7862/stat : 7862 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7863] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7863/stat : 7863 (java) S 7825 7827 5093 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 811255809 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
[pid=7827/tid=7882] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7882/stat : 7882 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811255891 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7994] ppid=7825 vsize=10549556 CPUtime=417.72 cores=0,2,4,6
/proc/7827/task/7994/stat : 7994 (java) S 7825 7827 5093 0 -1 4202560 90 0 0 0 41772 0 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 0 0 0 0
[pid=7827/tid=7995] ppid=7825 vsize=10549556 CPUtime=417.73 cores=0,2,4,6
/proc/7827/task/7995/stat : 7995 (java) S 7825 7827 5093 0 -1 4202560 80691 0 0 0 41763 10 0 0 25 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118584729 0 4 0 16800975 18446604447967393792 0 0 -1 4 0 0 0
[pid=7827/tid=7996] ppid=7825 vsize=10549556 CPUtime=0 cores=0,2,4,6
/proc/7827/task/7996/stat : 7996 (java) S 7825 7827 5093 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811300655 10802745344 464351 33554432000 1073741824 1073778376 140733219478240 18446744073709551615 255118585344 0 4 0 16800975 18446604447967393792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 10549556
[startup+1001.9 s]
/proc/loadavg: 4.08 3.67 2.94 4/554 8020
/proc/meminfo: memFree=13104012/32951124 swapFree=67111204/67111528
[pid=7827] ppid=7825 vsize=0 CPUtime=1800.79 cores=0,2,4,6
/proc/7827/stat : 7827 (java) Z 7825 7827 5093 0 -1 4203548 469817 0 1 0 180006 73 0 0 15 0 2 0 811255802 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7827/statm: 0 0 0 0 0 0 0
[pid=7827/tid=7996] ppid=7825 vsize=0 CPUtime=0.06 cores=0,2,4,6
/proc/7827/task/7996/stat : 7996 (java) R 7825 7827 5093 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 811300655 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1001.92
CPU time (s): 1800.82
CPU user time (s): 1800.07
CPU system time (s): 0.752885
CPU usage (%): 179.737
Max. virtual memory (cumulated for all children) (KiB): 10549556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.752885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469817
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30847
involuntary context switches= 24814
runsolver used 5.69113 second user time and 11.6902 second system time
The end