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-3458185-1307158322/watcher-3458185-1307158322 -o /tmp/evaluation-result-3458185-1307158322/solver-3458185-1307158322 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458185-1307158322.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: 2.00 2.01 1.95 2/466 11880
/proc/meminfo: memFree=24148224/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/11880/stat : 11880 (java) R 11878 11880 8699 0 -1 4202496 954 0 0 0 0 0 0 0 24 0 1 0 906062708 23580672 697 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252453103080 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11880/statm: 5757 697 514 9 0 124 0
[pid=11880/tid=11881] ppid=11878 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 4298 0 1 0 0 0 0 0 25 0 2 0 906062708 13850947584 5114 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.074567 s]
/proc/loadavg: 2.00 2.01 1.95 2/466 11880
/proc/meminfo: memFree=24148224/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13554952 CPUtime=0.06 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 14289 0 1 0 4 2 0 0 24 0 18 0 906062708 13880270848 13985 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3388738 13987 1742 9 0 3379472 0
[pid=11880/tid=11881] ppid=11878 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 13117 0 1 0 4 1 0 0 25 0 18 0 906062708 13880270848 13988 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 47318338848280 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13554952
[startup+0.101322 s]
/proc/loadavg: 2.00 2.01 1.95 2/466 11880
/proc/meminfo: memFree=24148224/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13622484 CPUtime=0.1 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 15464 0 1 0 8 2 0 0 24 0 18 0 906062708 13949423616 15160 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3405621 15160 2092 9 0 3396355 0
[pid=11880/tid=11881] ppid=11878 vsize=13622484 CPUtime=0.08 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 13554 0 1 0 7 1 0 0 25 0 18 0 906062708 13949423616 15160 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 47318338848280 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622484
[startup+0.300549 s]
/proc/loadavg: 2.00 2.01 1.95 2/466 11880
/proc/meminfo: memFree=24148224/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13623648 CPUtime=0.19 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 16163 0 1 0 17 2 0 0 24 0 19 0 906062708 13950615552 15829 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3405912 15829 2136 9 0 3396646 0
[pid=11880/tid=11881] ppid=11878 vsize=13623648 CPUtime=0.15 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 14156 0 1 0 14 1 0 0 18 0 19 0 906062708 13950615552 15829 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 46912505227554 0 4 0 16800975 0 0 0 -1 5 0 0 12
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13623648
[startup+0.700459 s]
/proc/loadavg: 2.00 2.01 1.95 2/466 11880
/proc/meminfo: memFree=24148224/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13626620 CPUtime=0.85 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 19350 0 1 0 83 2 0 0 24 0 19 0 906062708 13953658880 18203 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3406655 18203 2236 9 0 3397389 0
[pid=11880/tid=11881] ppid=11878 vsize=13626620 CPUtime=0.53 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 14580 0 1 0 52 1 0 0 17 0 19 0 906062708 13953658880 18203 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 46912505523627 0 4 0 16800975 0 0 0 -1 5 0 0 12
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 13626620
[startup+1.5013 s]
/proc/loadavg: 2.16 2.04 1.96 4/506 11941
/proc/meminfo: memFree=24004064/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13639388 CPUtime=2.35 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 30875 0 1 0 231 4 0 0 24 0 19 0 906062708 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3409847 24830 2249 9 0 3400581 0
[pid=11880/tid=11881] ppid=11878 vsize=13639388 CPUtime=1.28 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 14585 0 1 0 127 1 0 0 18 0 19 0 906062708 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 46912505518079 0 4 0 16800975 0 0 0 -1 5 0 0 12
[pid=11880/tid=11883] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11883/stat : 11883 (java) S 11878 11880 8699 0 -1 4202560 283 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11884] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11884/stat : 11884 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11885] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11885/stat : 11885 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11886] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11886/stat : 11886 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11887] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11887/stat : 11887 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11888] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11888/stat : 11888 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11889] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11889/stat : 11889 (java) S 11878 11880 8699 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11890] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11890/stat : 11890 (java) S 11878 11880 8699 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11891] ppid=11878 vsize=13639388 CPUtime=0.05 cores=1,3,5,7
/proc/11880/task/11891/stat : 11891 (java) S 11878 11880 8699 0 -1 4202560 613 0 0 0 5 0 0 0 16 0 19 0 906062711 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 0 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11892] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11892/stat : 11892 (java) S 11878 11880 8699 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11893] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11893/stat : 11893 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11894] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11894/stat : 11894 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469889457 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11895] ppid=11878 vsize=13639388 CPUtime=0.45 cores=1,3,5,7
/proc/11880/task/11895/stat : 11895 (java) S 11878 11880 8699 0 -1 4202560 6011 0 0 0 45 0 0 0 15 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11896] ppid=11878 vsize=13639388 CPUtime=0.52 cores=1,3,5,7
/proc/11880/task/11896/stat : 11896 (java) S 11878 11880 8699 0 -1 4202560 7889 0 0 0 51 1 0 0 16 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11897] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11897/stat : 11897 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11898] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11898/stat : 11898 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11913] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11913/stat : 11913 (java) S 11878 11880 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906062737 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 13639388
Solver just ended. Dumping a history of the last processes samples
[startup+1.70127 s]
/proc/loadavg: 2.16 2.04 1.96 4/506 11941
/proc/meminfo: memFree=24004064/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13639388 CPUtime=2.55 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 30875 0 1 0 251 4 0 0 24 0 19 0 906062708 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3409847 24830 2249 9 0 3400581 0
[pid=11880/tid=11881] ppid=11878 vsize=13639388 CPUtime=1.48 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 14585 0 1 0 147 1 0 0 18 0 19 0 906062708 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 46912505599968 0 4 0 16800975 0 0 0 -1 5 0 0 12
[pid=11880/tid=11883] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11883/stat : 11883 (java) S 11878 11880 8699 0 -1 4202560 283 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11884] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11884/stat : 11884 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11885] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11885/stat : 11885 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11886] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11886/stat : 11886 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11887] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11887/stat : 11887 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11888] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11888/stat : 11888 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11889] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11889/stat : 11889 (java) S 11878 11880 8699 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11890] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11890/stat : 11890 (java) S 11878 11880 8699 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11891] ppid=11878 vsize=13639388 CPUtime=0.05 cores=1,3,5,7
/proc/11880/task/11891/stat : 11891 (java) S 11878 11880 8699 0 -1 4202560 613 0 0 0 5 0 0 0 16 0 19 0 906062711 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 0 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11892] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11892/stat : 11892 (java) S 11878 11880 8699 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11893] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11893/stat : 11893 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11894] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11894/stat : 11894 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469889457 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11895] ppid=11878 vsize=13639388 CPUtime=0.45 cores=1,3,5,7
/proc/11880/task/11895/stat : 11895 (java) S 11878 11880 8699 0 -1 4202560 6011 0 0 0 45 0 0 0 15 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11896] ppid=11878 vsize=13639388 CPUtime=0.52 cores=1,3,5,7
/proc/11880/task/11896/stat : 11896 (java) S 11878 11880 8699 0 -1 4202560 7889 0 0 0 51 1 0 0 16 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11897] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11897/stat : 11897 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11898] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11898/stat : 11898 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062714 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11913] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11913/stat : 11913 (java) S 11878 11880 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906062737 13966733312 24830 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 13639388
[startup+1.80124 s]
/proc/loadavg: 2.16 2.04 1.96 4/506 11941
/proc/meminfo: memFree=24004064/32951124 swapFree=56297244/67111528
[pid=11880] ppid=11878 vsize=13639388 CPUtime=2.65 cores=1,3,5,7
/proc/11880/stat : 11880 (java) S 11878 11880 8699 0 -1 4202496 30949 0 1 0 261 4 0 0 24 0 19 0 906062708 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11880/statm: 3409847 24903 2249 9 0 3400581 0
[pid=11880/tid=11881] ppid=11878 vsize=13639388 CPUtime=1.56 cores=1,3,5,7
/proc/11880/task/11881/stat : 11881 (java) R 11878 11880 8699 0 -1 4202560 14586 0 1 0 155 1 0 0 18 0 19 0 906062708 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 46912505569644 0 4 0 16800975 0 0 0 -1 5 0 0 12
[pid=11880/tid=11883] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11883/stat : 11883 (java) S 11878 11880 8699 0 -1 4202560 283 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11884] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11884/stat : 11884 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11885] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11885/stat : 11885 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11886] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11886/stat : 11886 (java) S 11878 11880 8699 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11887] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11887/stat : 11887 (java) S 11878 11880 8699 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11888] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11888/stat : 11888 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11889] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11889/stat : 11889 (java) S 11878 11880 8699 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11890] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11890/stat : 11890 (java) S 11878 11880 8699 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 19 0 906062710 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11891] ppid=11878 vsize=13639388 CPUtime=0.06 cores=1,3,5,7
/proc/11880/task/11891/stat : 11891 (java) S 11878 11880 8699 0 -1 4202560 671 0 0 0 6 0 0 0 16 0 19 0 906062711 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 0 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11892] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11892/stat : 11892 (java) S 11878 11880 8699 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11893] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11893/stat : 11893 (java) S 11878 11880 8699 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906062712 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11894] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11894/stat : 11894 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469889457 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11895] ppid=11878 vsize=13639388 CPUtime=0.45 cores=1,3,5,7
/proc/11880/task/11895/stat : 11895 (java) S 11878 11880 8699 0 -1 4202560 6011 0 0 0 45 0 0 0 15 0 19 0 906062714 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11896] ppid=11878 vsize=13639388 CPUtime=0.52 cores=1,3,5,7
/proc/11880/task/11896/stat : 11896 (java) S 11878 11880 8699 0 -1 4202560 7889 0 0 0 51 1 0 0 16 0 19 0 906062714 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
[pid=11880/tid=11897] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11897/stat : 11897 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906062714 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469881753 0 4 0 16800975 18446604456709198912 0 0 -1 5 0 0 0
[pid=11880/tid=11898] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11898/stat : 11898 (java) S 11878 11880 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906062714 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 1 0 0 0
[pid=11880/tid=11913] ppid=11878 vsize=13639388 CPUtime=0 cores=1,3,5,7
/proc/11880/task/11913/stat : 11913 (java) S 11878 11880 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906062737 13966733312 24903 33554432000 1073741824 1073778376 140737195510544 18446744073709551615 252469882368 0 4 0 16800975 18446604456709198912 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 13639388
Child status: 30
Real time (s): 1.89898
CPU time (s): 2.75258
CPU user time (s): 2.70659
CPU system time (s): 0.045993
CPU usage (%): 144.951
Max. virtual memory (cumulated for all children) (KiB): 13639388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.70659
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30969
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= 423
involuntary context switches= 150
runsolver used 0.006998 second user time and 0.028995 second system time
The end