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-3459448-1307146673/watcher-3459448-1307146673 -o /tmp/evaluation-result-3459448-1307146673/solver-3459448-1307146673 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459448-1307146673.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: 0.93 1.36 1.71 3/520 27719
/proc/meminfo: memFree=21603772/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 1315 0 0 0 0 0 0 0 18 0 2 0 807082819 36646912 1017 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 8947 1017 782 9 0 386 0
[pid=27717/tid=27720] ppid=27714 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) S 27714 27717 25640 0 -1 4202560 202 0 0 0 0 0 0 0 19 0 2 0 807082820 36646912 1017 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228095471174 0 0 0 16784584 8043440758528671743 0 0 -1 4 0 0 0
[startup+0.046494 s]
/proc/loadavg: 0.93 1.36 1.71 3/520 27719
/proc/meminfo: memFree=21603772/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 13203 0 1 0 1 1 0 0 18 0 10 0 807082819 13861900288 12902 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3384253 12902 1513 9 0 3375001 0
[pid=27717/tid=27720] ppid=27714 vsize=13537012 CPUtime=0.02 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 12082 0 1 0 1 1 0 0 22 0 10 0 807082820 13861900288 12902 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 18446744073699065949 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13537012
[startup+0.100469 s]
/proc/loadavg: 0.93 1.36 1.71 3/520 27719
/proc/meminfo: memFree=21603772/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 14535 0 1 0 6 1 0 0 18 0 18 0 807082819 13880410112 14232 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3388772 14232 1755 9 0 3379506 0
[pid=27717/tid=27720] ppid=27714 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 13361 0 1 0 5 1 0 0 25 0 18 0 807082820 13880410112 14232 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 47381008189730 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.300417 s]
/proc/loadavg: 0.93 1.36 1.71 3/520 27719
/proc/meminfo: memFree=21603772/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13623972 CPUtime=0.45 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 18071 0 1 0 42 3 0 0 18 0 18 0 807082819 13950947328 17625 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3405993 17625 2201 9 0 3396727 0
[pid=27717/tid=27720] ppid=27714 vsize=13623972 CPUtime=0.27 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15269 0 1 0 25 2 0 0 18 0 18 0 807082820 13950947328 17625 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505200875 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13623972
[startup+0.700345 s]
/proc/loadavg: 0.93 1.36 1.71 3/520 27719
/proc/meminfo: memFree=21603772/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13626336 CPUtime=1.26 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 21419 0 1 0 123 3 0 0 18 0 19 0 807082819 13953368064 19543 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406584 19543 2252 9 0 3397318 0
[pid=27717/tid=27720] ppid=27714 vsize=13626336 CPUtime=0.65 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15807 0 1 0 63 2 0 0 19 0 19 0 807082820 13953368064 19543 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505742024 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13626336
[startup+1.5012 s]
/proc/loadavg: 0.93 1.36 1.71 4/558 27760
/proc/meminfo: memFree=21462188/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13626780 CPUtime=2.15 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22159 0 1 0 211 4 0 0 18 0 19 0 807082819 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406695 20013 2253 9 0 3397429 0
[pid=27717/tid=27720] ppid=27714 vsize=13626780 CPUtime=1.39 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15819 0 1 0 137 2 0 0 20 0 19 0 807082820 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505664832 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13626780 CPUtime=0.05 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 442 0 0 0 5 0 0 0 16 0 19 0 807082824 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13626780 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13626780 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13953822720 20013 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13626780
[startup+3.10097 s]
/proc/loadavg: 0.93 1.36 1.71 4/558 27760
/proc/meminfo: memFree=21457420/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13626780 CPUtime=3.76 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22396 0 1 0 372 4 0 0 18 0 19 0 807082819 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406695 20247 2253 9 0 3397429 0
[pid=27717/tid=27720] ppid=27714 vsize=13626780 CPUtime=2.94 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15822 0 1 0 292 2 0 0 23 0 19 0 807082820 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505664722 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 272 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 21 0 0 0 0 0 0 0 16 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13626780 CPUtime=0.09 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 601 0 0 0 9 0 0 0 16 0 19 0 807082824 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13626780 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13626780 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13953822720 20247 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13626780
Solver just ended. Dumping a history of the last processes samples
[startup+4.70064 s]
/proc/loadavg: 1.25 1.42 1.73 4/558 27760
/proc/meminfo: memFree=21455264/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13626780 CPUtime=5.36 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22612 0 1 0 532 4 0 0 18 0 19 0 807082819 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406695 20458 2253 9 0 3397429 0
[pid=27717/tid=27720] ppid=27714 vsize=13626780 CPUtime=4.48 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15827 0 1 0 446 2 0 0 25 0 19 0 807082820 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505672787 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 315 0 0 0 0 0 0 0 16 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 60 0 0 0 0 0 0 0 16 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 807082823 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13626780 CPUtime=0.15 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 692 0 0 0 15 0 0 0 16 0 19 0 807082824 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13626780 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13626780 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13626780 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13953822720 20458 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 13626780
[startup+5.52152 s]
/proc/loadavg: 1.25 1.42 1.73 4/558 27760
/proc/meminfo: memFree=21455884/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13625512 CPUtime=6.18 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22613 0 1 0 614 4 0 0 18 0 19 0 807082819 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406378 19988 2253 9 0 3397112 0
[pid=27717/tid=27720] ppid=27714 vsize=13625512 CPUtime=5.28 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15828 0 1 0 526 2 0 0 25 0 19 0 807082820 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505651336 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13625512 CPUtime=0.16 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 692 0 0 0 16 0 0 0 16 0 19 0 807082824 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13625512 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13625512 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 13625512
[startup+5.70149 s]
/proc/loadavg: 1.25 1.42 1.73 4/558 27760
/proc/meminfo: memFree=21455884/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13625512 CPUtime=6.36 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22613 0 1 0 632 4 0 0 18 0 19 0 807082819 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406378 19988 2253 9 0 3397112 0
[pid=27717/tid=27720] ppid=27714 vsize=13625512 CPUtime=5.46 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15828 0 1 0 544 2 0 0 25 0 19 0 807082820 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505652072 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13625512 CPUtime=0.16 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 692 0 0 0 16 0 0 0 16 0 19 0 807082824 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13625512 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13625512 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 13625512
[startup+5.80147 s]
/proc/loadavg: 1.25 1.42 1.73 4/558 27760
/proc/meminfo: memFree=21455884/32951124 swapFree=58800704/67111528
[pid=27717] ppid=27714 vsize=13625512 CPUtime=6.46 cores=0,2,4,6
/proc/27717/stat : 27717 (java) S 27714 27717 25640 0 -1 4202496 22613 0 1 0 642 4 0 0 18 0 19 0 807082819 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27717/statm: 3406378 19988 2253 9 0 3397112 0
[pid=27717/tid=27720] ppid=27714 vsize=13625512 CPUtime=5.56 cores=0,2,4,6
/proc/27717/task/27720/stat : 27720 (java) R 27714 27717 25640 0 -1 4202560 15828 0 1 0 554 2 0 0 25 0 19 0 807082820 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27717/tid=27726] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27726/stat : 27726 (java) S 27714 27717 25640 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27729] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27729/stat : 27729 (java) S 27714 27717 25640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27732] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27732/stat : 27732 (java) S 27714 27717 25640 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27734] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27734/stat : 27734 (java) S 27714 27717 25640 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27736] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27736/stat : 27736 (java) S 27714 27717 25640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27738] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27738/stat : 27738 (java) S 27714 27717 25640 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27739] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27739/stat : 27739 (java) S 27714 27717 25640 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27740] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27740/stat : 27740 (java) S 27714 27717 25640 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807082823 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27742] ppid=27714 vsize=13625512 CPUtime=0.16 cores=0,2,4,6
/proc/27717/task/27742/stat : 27742 (java) S 27714 27717 25640 0 -1 4202560 692 0 0 0 16 0 0 0 16 0 19 0 807082824 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 0 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27744] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27744/stat : 27744 (java) S 27714 27717 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27746] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27746/stat : 27746 (java) S 27714 27717 25640 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 807082825 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27750] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27750/stat : 27750 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107274673 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27751] ppid=27714 vsize=13625512 CPUtime=0.39 cores=0,2,4,6
/proc/27717/task/27751/stat : 27751 (java) S 27714 27717 25640 0 -1 4202560 2170 0 0 0 39 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
[pid=27717/tid=27754] ppid=27714 vsize=13625512 CPUtime=0.28 cores=0,2,4,6
/proc/27717/task/27754/stat : 27754 (java) S 27714 27717 25640 0 -1 4202560 2125 0 0 0 28 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 4 0 0 0
[pid=27717/tid=27757] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27757/stat : 27757 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107266969 0 4 0 16800975 18446604446195518144 0 0 -1 6 0 0 0
[pid=27717/tid=27758] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27758/stat : 27758 (java) S 27714 27717 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807082827 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 2 0 0 0
[pid=27717/tid=27760] ppid=27714 vsize=13625512 CPUtime=0 cores=0,2,4,6
/proc/27717/task/27760/stat : 27760 (java) S 27714 27717 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807082851 13952524288 19988 33554432000 1073741824 1073778376 140734037725856 18446744073709551615 228107267584 0 4 0 16800975 18446604446195518144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 13625512
Child status: 30
Real time (s): 5.83387
CPU time (s): 6.49101
CPU user time (s): 6.44202
CPU system time (s): 0.048992
CPU usage (%): 111.264
Max. virtual memory (cumulated for all children) (KiB): 13626780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.44202
system time used= 0.048992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22649
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= 953
involuntary context switches= 277
runsolver used 0.029995 second user time and 0.091986 second system time
The end