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-3455283-1307192077/watcher-3455283-1307192077 -o /tmp/evaluation-result-3455283-1307192077/solver-3455283-1307192077 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455283-1307192077.opb
running on 4 cores: 1,3,5,7
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.41 2.41 3.18 5/575 13728
/proc/meminfo: memFree=24804964/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 4387 0 1 0 0 0 0 0 25 0 2 0 830804742 10694979584 4088 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2611079 4100 917 9 0 2602235 0
[pid=13728/tid=13729] ppid=13726 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13728 10194 0 -1 4202560 7672 0 1 0 0 0 0 0 25 0 2 0 830804743 10694979584 8488 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0240189 s]
/proc/loadavg: 1.41 2.41 3.18 5/575 13728
/proc/meminfo: memFree=24804964/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 10010 0 1 0 0 0 0 0 25 0 10 0 830804742 10703900672 9711 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2613257 9713 991 9 0 2604413 0
[pid=13728/tid=13729] ppid=13726 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13728 10194 0 -1 4202560 8890 0 1 0 0 0 0 0 25 0 10 0 830804743 10703900672 9715 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 47685442543616 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10453028
[startup+0.10507 s]
/proc/loadavg: 1.41 2.41 3.18 5/575 13728
/proc/meminfo: memFree=24804964/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10540364 CPUtime=0.1 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 13135 0 1 0 9 1 0 0 25 0 18 0 830804742 10793332736 12831 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2635091 12831 2093 9 0 2625825 0
[pid=13728/tid=13729] ppid=13726 vsize=10540364 CPUtime=0.08 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) R 13726 13728 10194 0 -1 4202560 11221 0 1 0 7 1 0 0 25 0 18 0 830804743 10793332736 12831 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488521675 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540364
[startup+0.30101 s]
/proc/loadavg: 1.41 2.41 3.18 5/575 13728
/proc/meminfo: memFree=24804964/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10548124 CPUtime=0.54 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 17561 0 1 0 52 2 0 0 25 0 19 0 830804742 10801278976 15768 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2637031 15768 2212 9 0 2627765 0
[pid=13728/tid=13729] ppid=13726 vsize=10548124 CPUtime=0.25 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12790 0 1 0 24 1 0 0 25 0 19 0 830804743 10801278976 15768 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10548124
[startup+0.700936 s]
/proc/loadavg: 1.41 2.41 3.18 5/575 13728
/proc/meminfo: memFree=24804964/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10548124 CPUtime=0.54 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 17561 0 1 0 52 2 0 0 25 0 19 0 830804742 10801278976 15768 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2637031 15768 2212 9 0 2627765 0
[pid=13728/tid=13729] ppid=13726 vsize=10548124 CPUtime=0.25 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12790 0 1 0 24 1 0 0 25 0 19 0 830804743 10801278976 15768 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10548124
[startup+1.50079 s]
/proc/loadavg: 1.41 2.41 3.18 1/592 13802
/proc/meminfo: memFree=24799912/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10548124 CPUtime=0.62 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 17762 0 1 0 60 2 0 0 25 0 20 0 830804742 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2637031 15955 2215 9 0 2627765 0
[pid=13728/tid=13729] ppid=13726 vsize=10548124 CPUtime=0.26 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12858 0 1 0 25 1 0 0 17 0 20 0 830804743 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13731] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13732] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13733] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13734] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13735] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13736] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13737] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13738] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830804744 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13739] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830804745 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 0 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13740] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13728 10194 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 830804746 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13741] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13728 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 830804746 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13742] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 830804748 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488518577 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13743] ppid=13726 vsize=10548124 CPUtime=0.16 cores=1,3,5,7
/proc/13728/task/13743/stat : 13743 (java) S 13726 13728 10194 0 -1 4202560 2026 0 0 0 16 0 0 0 15 0 20 0 830804748 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13744] ppid=13726 vsize=10548124 CPUtime=0.13 cores=1,3,5,7
/proc/13728/task/13744/stat : 13744 (java) S 13726 13728 10194 0 -1 4202560 1557 0 0 0 13 0 0 0 15 0 20 0 830804748 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13745] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13745/stat : 13745 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 830804748 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13746] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13746/stat : 13746 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830804748 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13749] ppid=13726 vsize=10548124 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13749/stat : 13749 (java) S 13726 13728 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830804770 10801278976 15955 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10548124
Solver just ended. Dumping a history of the last processes samples
[startup+2.30163 s]
/proc/loadavg: 1.41 2.41 3.18 6/594 13815
/proc/meminfo: memFree=24751288/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10552196 CPUtime=1.53 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 25670 0 1 0 150 3 0 0 25 0 19 0 830804742 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2638049 21656 2229 9 0 2628783 0
[pid=13728/tid=13729] ppid=13726 vsize=10552196 CPUtime=0.26 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12880 0 1 0 25 1 0 0 16 0 19 0 830804743 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13731] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13732] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13733] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13734] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13735] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13736] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13737] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13738] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830804744 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13739] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804745 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 0 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13740] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13728 10194 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 830804746 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13741] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13728 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830804746 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13742] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 830804748 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488518577 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13743] ppid=13726 vsize=10552196 CPUtime=0.38 cores=1,3,5,7
/proc/13728/task/13743/stat : 13743 (java) S 13726 13728 10194 0 -1 4202560 3077 0 0 0 38 0 0 0 16 0 19 0 830804748 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13744] ppid=13726 vsize=10552196 CPUtime=0.49 cores=1,3,5,7
/proc/13728/task/13744/stat : 13744 (java) S 13726 13728 10194 0 -1 4202560 6375 0 0 0 49 0 0 0 16 0 19 0 830804748 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13745] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13745/stat : 13745 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830804748 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13746] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13746/stat : 13746 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804748 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13805] ppid=13726 vsize=10552196 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13805/stat : 13805 (java) S 13726 13728 10194 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 830804872 10805448704 21656 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10552196
[startup+2.70154 s]
/proc/loadavg: 1.41 2.41 3.18 6/594 13815
/proc/meminfo: memFree=24751288/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10559544 CPUtime=2.54 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 43339 0 1 0 249 5 0 0 25 0 19 0 830804742 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2639886 38319 2257 9 0 2630620 0
[pid=13728/tid=13729] ppid=13726 vsize=10559544 CPUtime=0.26 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12902 0 1 0 25 1 0 0 16 0 19 0 830804743 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13731] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13732] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13733] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13734] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13728 10194 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13735] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13728 10194 0 -1 4202560 139 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13736] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13728 10194 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13737] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13728 10194 0 -1 4202560 126 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13738] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13728 10194 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 830804744 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13739] ppid=13726 vsize=10559544 CPUtime=0.01 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13728 10194 0 -1 4202560 599 0 0 0 1 0 0 0 15 0 19 0 830804745 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 0 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13740] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13728 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830804746 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13741] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13728 10194 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830804746 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13742] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 830804748 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488518577 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13743] ppid=13726 vsize=10559544 CPUtime=0.7 cores=1,3,5,7
/proc/13728/task/13743/stat : 13743 (java) R 13726 13728 10194 0 -1 4202560 5877 0 0 0 70 0 0 0 15 0 19 0 830804748 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 47685438999272 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13728/tid=13744] ppid=13726 vsize=10559544 CPUtime=0.7 cores=1,3,5,7
/proc/13728/task/13744/stat : 13744 (java) S 13726 13728 10194 0 -1 4202560 6413 0 0 0 70 0 0 0 15 0 19 0 830804748 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13745] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13745/stat : 13745 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830804748 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13746] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13746/stat : 13746 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804748 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13805] ppid=13726 vsize=10559544 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13805/stat : 13805 (java) S 13726 13728 10194 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 830804872 10812973056 38319 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 10559544
[startup+2.80153 s]
/proc/loadavg: 1.41 2.41 3.18 6/594 13815
/proc/meminfo: memFree=24751288/32950928 swapFree=67056580/67111528
[pid=13728] ppid=13726 vsize=10550204 CPUtime=2.59 cores=1,3,5,7
/proc/13728/stat : 13728 (java) S 13726 13728 10194 0 -1 4202496 43364 0 1 0 254 5 0 0 25 0 19 0 830804742 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13728/statm: 2637551 36099 2257 9 0 2628285 0
[pid=13728/tid=13729] ppid=13726 vsize=10550204 CPUtime=0.26 cores=1,3,5,7
/proc/13728/task/13729/stat : 13729 (java) S 13726 13728 10194 0 -1 4202560 12902 0 1 0 25 1 0 0 16 0 19 0 830804743 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13731] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13731/stat : 13731 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13732] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13732/stat : 13732 (java) S 13726 13728 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13733] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13733/stat : 13733 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13734] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13734/stat : 13734 (java) S 13726 13728 10194 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13735] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13735/stat : 13735 (java) S 13726 13728 10194 0 -1 4202560 139 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13736] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13736/stat : 13736 (java) S 13726 13728 10194 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 1 0 0 0
[pid=13728/tid=13737] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13737/stat : 13737 (java) S 13726 13728 10194 0 -1 4202560 126 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13738] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13738/stat : 13738 (java) S 13726 13728 10194 0 -1 4202560 280 0 0 0 0 0 0 0 18 0 19 0 830804744 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 7 0 0 0
[pid=13728/tid=13739] ppid=13726 vsize=10550204 CPUtime=0.01 cores=1,3,5,7
/proc/13728/task/13739/stat : 13739 (java) S 13726 13728 10194 0 -1 4202560 599 0 0 0 1 0 0 0 15 0 19 0 830804745 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 0 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13740] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13740/stat : 13740 (java) S 13726 13728 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830804746 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13741] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13741/stat : 13741 (java) S 13726 13728 10194 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830804746 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13742] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13742/stat : 13742 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 830804748 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488518577 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13743] ppid=13726 vsize=10550204 CPUtime=0.75 cores=1,3,5,7
/proc/13728/task/13743/stat : 13743 (java) S 13726 13728 10194 0 -1 4202560 5902 0 0 0 75 0 0 0 16 0 19 0 830804748 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
[pid=13728/tid=13744] ppid=13726 vsize=10550204 CPUtime=0.7 cores=1,3,5,7
/proc/13728/task/13744/stat : 13744 (java) S 13726 13728 10194 0 -1 4202560 6413 0 0 0 70 0 0 0 15 0 19 0 830804748 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13745] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13745/stat : 13745 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 830804748 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488510873 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13746] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13746/stat : 13746 (java) S 13726 13728 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830804748 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 3 0 0 0
[pid=13728/tid=13805] ppid=13726 vsize=10550204 CPUtime=0 cores=1,3,5,7
/proc/13728/task/13805/stat : 13805 (java) S 13726 13728 10194 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 19 0 830804872 10803408896 36099 33554432000 1073741824 1073778376 140733275860304 18446744073709551615 239488511488 0 4 0 16800975 18446604454373904832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10550204
Child status: 30
Real time (s): 2.85086
CPU time (s): 2.6196
CPU user time (s): 2.55561
CPU system time (s): 0.06399
CPU usage (%): 91.8882
Max. virtual memory (cumulated for all children) (KiB): 10559544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.55561
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43376
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= 298
involuntary context switches= 83
runsolver used 0.019996 second user time and 0.044993 second system time
The end