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-3459775-1307166841/watcher-3459775-1307166841 -o /tmp/evaluation-result-3459775-1307166841/solver-3459775-1307166841 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459775-1307166841.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: 2.02 2.05 2.02 4/498 13732
/proc/meminfo: memFree=27362820/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 5958 0 1 0 0 0 0 0 25 0 2 0 828283765 13850947584 5661 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3381579 5674 917 9 0 3372735 0
[pid=13732/tid=13733] ppid=13730 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 6799 0 1 0 0 0 0 0 25 0 2 0 828283765 13850947584 7615 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0306431 s]
/proc/loadavg: 2.02 2.05 2.02 4/498 13732
/proc/meminfo: memFree=27362820/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13537012 CPUtime=0.01 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 13151 0 1 0 0 1 0 0 25 0 10 0 828283765 13861900288 12852 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3384253 12853 1512 9 0 3375001 0
[pid=13732/tid=13733] ppid=13730 vsize=13537012 CPUtime=0.01 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 12032 0 1 0 0 1 0 0 25 0 10 0 828283765 13861900288 12853 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46953249134074 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13537012
[startup+0.105681 s]
/proc/loadavg: 2.02 2.05 2.02 4/498 13732
/proc/meminfo: memFree=27362820/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13622320 CPUtime=0.11 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 15587 0 1 0 9 2 0 0 25 0 18 0 828283765 13949255680 15271 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3405580 15271 2092 9 0 3396314 0
[pid=13732/tid=13733] ppid=13730 vsize=13622320 CPUtime=0.09 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 13677 0 1 0 7 2 0 0 18 0 18 0 828283765 13949255680 15271 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208079924944 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622320
[startup+0.314336 s]
/proc/loadavg: 2.02 2.05 2.02 4/498 13732
/proc/meminfo: memFree=27362820/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13626300 CPUtime=0.6 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 19676 0 1 0 57 3 0 0 25 0 19 0 828283765 13953331200 18089 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3406575 18089 2214 9 0 3397309 0
[pid=13732/tid=13733] ppid=13730 vsize=13626300 CPUtime=0.29 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 15018 0 1 0 27 2 0 0 19 0 19 0 828283765 13953331200 18089 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46912505557823 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13626300
[startup+0.700599 s]
/proc/loadavg: 2.02 2.05 2.02 4/498 13732
/proc/meminfo: memFree=27362820/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13627204 CPUtime=1.25 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 20912 0 1 0 122 3 0 0 25 0 19 0 828283765 13954256896 18675 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3406801 18675 2222 9 0 3397535 0
[pid=13732/tid=13733] ppid=13730 vsize=13627204 CPUtime=0.68 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 15230 0 1 0 66 2 0 0 19 0 19 0 828283765 13954256896 18675 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46912505642752 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13627204
[startup+1.50145 s]
/proc/loadavg: 2.02 2.05 2.02 3/518 13752
/proc/meminfo: memFree=27227448/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13627204 CPUtime=2.05 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 21144 0 1 0 202 3 0 0 25 0 19 0 828283765 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3406801 18906 2224 9 0 3397535 0
[pid=13732/tid=13733] ppid=13730 vsize=13627204 CPUtime=1.49 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 15459 0 1 0 146 3 0 0 21 0 19 0 828283765 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46912505642278 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13732/tid=13735] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13735/stat : 13735 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13736] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13736/stat : 13736 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13737] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13737/stat : 13737 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13738] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13738/stat : 13738 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13739] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13739/stat : 13739 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13740] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13740/stat : 13740 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13741] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13741/stat : 13741 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13742] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13742/stat : 13742 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13743] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13743/stat : 13743 (java) S 13730 13732 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828283768 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 0 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13744] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13744/stat : 13744 (java) S 13730 13732 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13745] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13745/stat : 13745 (java) S 13730 13732 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13746] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13746/stat : 13746 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092055985 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13747] ppid=13730 vsize=13627204 CPUtime=0.3 cores=0,2,4,6
/proc/13732/task/13747/stat : 13747 (java) S 13730 13732 13533 0 -1 4202560 2548 0 0 0 30 0 0 0 15 0 19 0 828283771 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 2 0 0 0
[pid=13732/tid=13748] ppid=13730 vsize=13627204 CPUtime=0.25 cores=0,2,4,6
/proc/13732/task/13748/stat : 13748 (java) S 13730 13732 13533 0 -1 4202560 1973 0 0 0 25 0 0 0 16 0 19 0 828283771 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13749] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13749/stat : 13749 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13750] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13750/stat : 13750 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828283771 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13752] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13752/stat : 13752 (java) S 13730 13732 13533 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 828283790 13954256896 18906 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 13627204
Solver just ended. Dumping a history of the last processes samples
[startup+1.70141 s]
/proc/loadavg: 2.02 2.05 2.02 3/518 13752
/proc/meminfo: memFree=27227448/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13627204 CPUtime=2.25 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 21209 0 1 0 222 3 0 0 25 0 19 0 828283765 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3406801 18971 2224 9 0 3397535 0
[pid=13732/tid=13733] ppid=13730 vsize=13627204 CPUtime=1.69 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 15524 0 1 0 166 3 0 0 21 0 19 0 828283765 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46912505784622 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13732/tid=13735] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13735/stat : 13735 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13736] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13736/stat : 13736 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13737] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13737/stat : 13737 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13738] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13738/stat : 13738 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13739] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13739/stat : 13739 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13740] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13740/stat : 13740 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13741] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13741/stat : 13741 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13742] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13742/stat : 13742 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13743] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13743/stat : 13743 (java) S 13730 13732 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828283768 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 0 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13744] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13744/stat : 13744 (java) S 13730 13732 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13745] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13745/stat : 13745 (java) S 13730 13732 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13746] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13746/stat : 13746 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092055985 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13747] ppid=13730 vsize=13627204 CPUtime=0.3 cores=0,2,4,6
/proc/13732/task/13747/stat : 13747 (java) S 13730 13732 13533 0 -1 4202560 2548 0 0 0 30 0 0 0 15 0 19 0 828283771 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 2 0 0 0
[pid=13732/tid=13748] ppid=13730 vsize=13627204 CPUtime=0.25 cores=0,2,4,6
/proc/13732/task/13748/stat : 13748 (java) S 13730 13732 13533 0 -1 4202560 1973 0 0 0 25 0 0 0 16 0 19 0 828283771 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13749] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13749/stat : 13749 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13750] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13750/stat : 13750 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828283771 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13752] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13752/stat : 13752 (java) S 13730 13732 13533 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 828283790 13954256896 18971 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 13627204
[startup+1.80138 s]
/proc/loadavg: 2.02 2.05 2.02 3/518 13752
/proc/meminfo: memFree=27227448/32950928 swapFree=39617324/67111528
[pid=13732] ppid=13730 vsize=13627204 CPUtime=2.35 cores=0,2,4,6
/proc/13732/stat : 13732 (java) S 13730 13732 13533 0 -1 4202496 21225 0 1 0 232 3 0 0 25 0 19 0 828283765 13954256896 18987 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13732/statm: 3406801 18987 2224 9 0 3397535 0
[pid=13732/tid=13733] ppid=13730 vsize=13627204 CPUtime=1.79 cores=0,2,4,6
/proc/13732/task/13733/stat : 13733 (java) R 13730 13732 13533 0 -1 4202560 15540 0 1 0 176 3 0 0 21 0 19 0 828283765 13954256896 18987 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 46912505687204 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13732/tid=13735] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13735/stat : 13735 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18987 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13736] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13736/stat : 13736 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18988 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13737] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13737/stat : 13737 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18988 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13738] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13738/stat : 13738 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18988 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13739] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13739/stat : 13739 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18988 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13740] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13740/stat : 13740 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18988 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13741] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13741/stat : 13741 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18989 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13742] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13742/stat : 13742 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283767 13954256896 18989 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13743] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13743/stat : 13743 (java) S 13730 13732 13533 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828283768 13954256896 18990 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 0 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13744] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13744/stat : 13744 (java) S 13730 13732 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18990 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13745] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13745/stat : 13745 (java) S 13730 13732 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828283769 13954256896 18990 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13746] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13746/stat : 13746 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18990 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092055985 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13747] ppid=13730 vsize=13627204 CPUtime=0.3 cores=0,2,4,6
/proc/13732/task/13747/stat : 13747 (java) S 13730 13732 13533 0 -1 4202560 2548 0 0 0 30 0 0 0 15 0 19 0 828283771 13954256896 18991 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 2 0 0 0
[pid=13732/tid=13748] ppid=13730 vsize=13627204 CPUtime=0.25 cores=0,2,4,6
/proc/13732/task/13748/stat : 13748 (java) S 13730 13732 13533 0 -1 4202560 1973 0 0 0 25 0 0 0 16 0 19 0 828283771 13954256896 18991 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13749] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13749/stat : 13749 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828283771 13954256896 18991 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048281 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
[pid=13732/tid=13750] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13750/stat : 13750 (java) S 13730 13732 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828283771 13954256896 18991 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 6 0 0 0
[pid=13732/tid=13752] ppid=13730 vsize=13627204 CPUtime=0 cores=0,2,4,6
/proc/13732/task/13752/stat : 13752 (java) S 13730 13732 13533 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 19 0 828283790 13954256896 18991 33554432000 1073741824 1073778376 140736753012928 18446744073709551615 208092048896 0 4 0 16800975 18446604441938876480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 13627204
Child status: 30
Real time (s): 1.82452
CPU time (s): 2.39564
CPU user time (s): 2.35264
CPU system time (s): 0.042993
CPU usage (%): 131.302
Max. virtual memory (cumulated for all children) (KiB): 13627204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35264
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21275
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= 203
involuntary context switches= 43
runsolver used 0.009998 second user time and 0.025996 second system time
The end