runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3738253-1338765503/watcher-3738253-1338765503 -o /tmp/evaluation-result-3738253-1338765503/solver-3738253-1338765503 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3738253-1338765503.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.02 2.02 2/194 13072
/proc/meminfo: memFree=29956928/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 342677267 95129600 927 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 23225 927 703 9 0 16769 0
[pid=13072/tid=13073] ppid=13070 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) D 13070 13072 9782 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 342677267 95129600 927 33554432000 1073741824 1073778376 140733527356080 140381917617704 233402625319 0 0 4096 0 18446744072100588836 0 0 -1 2 0 0 0 0 0
[startup+0.097339 s]
/proc/loadavg: 1.99 2.02 2.02 2/194 13072
/proc/meminfo: memFree=29956928/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 4667 0 1 0 9 1 0 0 20 0 18 0 342677267 2712133632 6385 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 662142 6385 2109 9 0 652835 0
[pid=13072/tid=13073] ppid=13070 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2730 0 1 0 6 1 0 0 20 0 18 0 342677267 2712133632 6385 33554432000 1073741824 1073778376 140733527356080 140381917610888 233415173389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.100259 s]
/proc/loadavg: 1.99 2.02 2.02 2/194 13072
/proc/meminfo: memFree=29956928/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 4667 0 1 0 9 1 0 0 20 0 18 0 342677267 2712133632 6385 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 662142 6385 2109 9 0 652835 0
[pid=13072/tid=13073] ppid=13070 vsize=2648568 CPUtime=0.07 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2730 0 1 0 6 1 0 0 20 0 18 0 342677267 2712133632 6385 33554432000 1073741824 1073778376 140733527356080 140381917610888 233415173389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300153 s]
/proc/loadavg: 1.99 2.02 2.02 2/194 13072
/proc/meminfo: memFree=29956928/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2648568 CPUtime=0.51 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 6190 0 1 0 49 2 0 0 20 0 18 0 342677267 2712133632 9944 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 662142 9944 2218 9 0 652835 0
[pid=13072/tid=13073] ppid=13070 vsize=2648568 CPUtime=0.27 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2746 0 1 0 26 1 0 0 20 0 18 0 342677267 2712133632 9944 33554432000 1073741824 1073778376 140733527356080 140381917610888 140381761140967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2648568
[startup+0.700202 s]
/proc/loadavg: 1.99 2.02 2.02 2/194 13072
/proc/meminfo: memFree=29956928/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2715132 CPUtime=1.54 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 14003 0 1 0 150 4 0 0 20 0 19 0 342677267 2780295168 27416 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 678783 27416 2254 9 0 669476 0
[pid=13072/tid=13073] ppid=13070 vsize=2715132 CPUtime=0.67 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2785 0 1 0 66 1 0 0 20 0 19 0 342677267 2780295168 27416 33554432000 1073741824 1073778376 140733527356080 140381917622584 140381761156753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 2715132
[startup+1.50077 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 13091
/proc/meminfo: memFree=29848328/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2715132 CPUtime=2.53 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 14290 0 1 0 249 4 0 0 20 0 19 0 342677267 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 678783 32563 2257 9 0 669476 0
[pid=13072/tid=13073] ppid=13070 vsize=2715132 CPUtime=1.47 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2795 0 1 0 145 2 0 0 20 0 19 0 342677267 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381917620696 140381761888644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13075] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381902072872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13076] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381901020072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13077] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381899967272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13078] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381898914472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13079] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381897861672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13080] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381896808872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13081] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381895756072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13082] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13072 9782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381894703272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13083] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13072 9782 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342677269 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381882293224 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13084] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13072 9782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381881239288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13085] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381880186376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13086] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381761038992 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13087] ppid=13070 vsize=2715132 CPUtime=0.53 cores=0,2,4,6
/proc/13072/task/13087/stat : 13087 (java) S 13070 13072 9782 0 -1 4202560 6925 0 0 0 51 2 0 0 20 0 19 0 342677272 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381759986104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13088] ppid=13070 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/13072/task/13088/stat : 13088 (java) S 13070 13072 9782 0 -1 4202560 3374 0 0 0 48 0 0 0 20 0 19 0 342677272 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381758933304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13089] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13089/stat : 13089 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381757880696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13090] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13090/stat : 13090 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381756828104 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13091] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13091/stat : 13091 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677316 2780295168 32563 33554432000 1073741824 1073778376 140733527356080 140381755774632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 2715132
[startup+3.10076 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 13091
/proc/meminfo: memFree=29823008/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2715132 CPUtime=4.15 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 14303 0 1 0 410 5 0 0 20 0 19 0 342677267 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 678783 38707 2257 9 0 669476 0
[pid=13072/tid=13073] ppid=13070 vsize=2715132 CPUtime=3.07 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2808 0 1 0 305 2 0 0 20 0 19 0 342677267 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381917622792 140381761871456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13075] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381902072872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13076] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381901020072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13077] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381899967272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13078] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381898914472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13079] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381897861672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13080] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381896808872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13081] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381895756072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13082] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13072 9782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381894703272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13083] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13072 9782 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342677269 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381882293224 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13084] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13072 9782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381881239288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13085] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381880186376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13086] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381761038992 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13087] ppid=13070 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/13072/task/13087/stat : 13087 (java) S 13070 13072 9782 0 -1 4202560 6925 0 0 0 52 2 0 0 20 0 19 0 342677272 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381759986104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13088] ppid=13070 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/13072/task/13088/stat : 13088 (java) S 13070 13072 9782 0 -1 4202560 3374 0 0 0 49 0 0 0 20 0 19 0 342677272 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381758933304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13089] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13089/stat : 13089 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381757880696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13090] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13090/stat : 13090 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381756828104 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13091] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13091/stat : 13091 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677316 2780295168 38707 33554432000 1073741824 1073778376 140733527356080 140381755774632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+3.90076 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 13091
/proc/meminfo: memFree=29808548/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2715132 CPUtime=4.95 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 14307 0 1 0 490 5 0 0 20 0 19 0 342677267 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 678783 40755 2257 9 0 669476 0
[pid=13072/tid=13073] ppid=13070 vsize=2715132 CPUtime=3.87 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2812 0 1 0 385 2 0 0 20 0 19 0 342677267 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381917622792 140381761721806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13075] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381902072872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13076] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381901020072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13077] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381899967272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13078] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381898914472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13079] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381897861672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13080] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381896808872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13081] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381895756072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13082] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13072 9782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381894703272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13083] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13072 9782 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342677269 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381882293224 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13084] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13072 9782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381881239288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13085] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381880186376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13086] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381761038992 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13087] ppid=13070 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/13072/task/13087/stat : 13087 (java) S 13070 13072 9782 0 -1 4202560 6925 0 0 0 52 2 0 0 20 0 19 0 342677272 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381759986104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13088] ppid=13070 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/13072/task/13088/stat : 13088 (java) S 13070 13072 9782 0 -1 4202560 3374 0 0 0 49 0 0 0 20 0 19 0 342677272 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381758933304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13089] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13089/stat : 13089 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381757880696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13090] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13090/stat : 13090 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381756828104 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13091] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13091/stat : 13091 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677316 2780295168 40755 33554432000 1073741824 1073778376 140733527356080 140381755774632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 2715132
[startup+4.30077 s]
/proc/loadavg: 1.99 2.02 2.02 3/213 13091
/proc/meminfo: memFree=29798184/32873844 swapFree=7116/7116
[pid=13072] ppid=13070 vsize=2715132 CPUtime=5.37 cores=0,2,4,6
/proc/13072/stat : 13072 (java) S 13070 13072 9782 0 -1 4202496 14310 0 1 0 532 5 0 0 20 0 19 0 342677267 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140733527347216 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13072/statm: 678783 41779 2257 9 0 669476 0
[pid=13072/tid=13073] ppid=13070 vsize=2715132 CPUtime=4.28 cores=0,2,4,6
/proc/13072/task/13073/stat : 13073 (java) R 13070 13072 9782 0 -1 4202560 2815 0 1 0 426 2 0 0 20 0 19 0 342677267 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381917623000 140381761992596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13075] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13075/stat : 13075 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381902072872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13076] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13076/stat : 13076 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381901020072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13077] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13077/stat : 13077 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381899967272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13078] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13078/stat : 13078 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381898914472 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13079] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13079/stat : 13079 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381897861672 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13080] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13080/stat : 13080 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381896808872 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13081] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13081/stat : 13081 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381895756072 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13072/tid=13082] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13082/stat : 13082 (java) S 13070 13072 9782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342677268 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381894703272 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13083] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13083/stat : 13083 (java) S 13070 13072 9782 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342677269 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381882293224 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13084] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13084/stat : 13084 (java) S 13070 13072 9782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381881239288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13085] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13085/stat : 13085 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677270 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381880186376 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13086] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13086/stat : 13086 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381761038992 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13087] ppid=13070 vsize=2715132 CPUtime=0.54 cores=0,2,4,6
/proc/13072/task/13087/stat : 13087 (java) S 13070 13072 9782 0 -1 4202560 6925 0 0 0 52 2 0 0 20 0 19 0 342677272 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381759986104 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13072/tid=13088] ppid=13070 vsize=2715132 CPUtime=0.5 cores=0,2,4,6
/proc/13072/task/13088/stat : 13088 (java) S 13070 13072 9782 0 -1 4202560 3374 0 0 0 50 0 0 0 20 0 19 0 342677272 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381758933304 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13089] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13089/stat : 13089 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381757880696 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13072/tid=13090] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13090/stat : 13090 (java) S 13070 13072 9782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342677272 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381756828104 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13072/tid=13091] ppid=13070 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/13072/task/13091/stat : 13091 (java) S 13070 13072 9782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342677316 2780295168 41779 33554432000 1073741824 1073778376 140733527356080 140381755774632 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 2715132
Child status: 30
Real time (s): 4.36903
CPU time (s): 5.44317
CPU user time (s): 5.36019
CPU system time (s): 0.082987
CPU usage (%): 124.585
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.36018
system time used= 0.082987
maximum resident set size= 169224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14330
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 371
involuntary context switches= 27
runsolver used 0.014997 second user time and 0.049992 second system time
The end