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-3453872-1307194361/watcher-3453872-1307194361 -o /tmp/evaluation-result-3453872-1307194361/solver-3453872-1307194361 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453872-1307194361.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: 4.00 3.86 3.89 3/476 30374
/proc/meminfo: memFree=24206168/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 7045 0 1 0 0 0 0 0 25 0 2 0 811852009 10694979584 6747 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2611079 6761 917 9 0 2602235 0
[pid=30374/tid=30375] ppid=30372 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) R 30372 30374 23562 0 -1 4202560 5992 0 1 0 0 0 0 0 25 0 2 0 811852009 10694979584 6807 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0840051 s]
/proc/loadavg: 4.00 3.86 3.89 3/476 30374
/proc/meminfo: memFree=24206168/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10540180 CPUtime=0.08 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 12840 0 1 0 7 1 0 0 25 0 18 0 811852009 10793144320 12513 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2635045 12513 2063 9 0 2625779 0
[pid=30374/tid=30375] ppid=30372 vsize=10540180 CPUtime=0.07 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) R 30372 30374 23562 0 -1 4202560 10957 0 1 0 6 1 0 0 25 0 18 0 811852009 10793144320 12514 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220816279735 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540180
[startup+0.102854 s]
/proc/loadavg: 4.00 3.86 3.89 3/476 30374
/proc/meminfo: memFree=24206168/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10540180 CPUtime=0.1 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 13143 0 1 0 9 1 0 0 25 0 18 0 811852009 10793144320 12817 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2635045 12818 2093 9 0 2625779 0
[pid=30374/tid=30375] ppid=30372 vsize=10540180 CPUtime=0.09 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) R 30372 30374 23562 0 -1 4202560 11201 0 1 0 8 1 0 0 25 0 18 0 811852009 10793144320 12818 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828063179 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) 10540180
[startup+0.300787 s]
/proc/loadavg: 4.00 3.86 3.89 3/476 30374
/proc/meminfo: memFree=24206168/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10548280 CPUtime=0.75 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 19163 0 1 0 72 3 0 0 25 0 22 0 811852009 10801438720 16713 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2637070 16713 2192 9 0 2627804 0
[pid=30374/tid=30375] ppid=30372 vsize=10548280 CPUtime=0.13 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) S 30372 30374 23562 0 -1 4202560 11617 0 1 0 12 1 0 0 25 0 22 0 811852009 10801438720 16713 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 10548280
[startup+0.700712 s]
/proc/loadavg: 4.00 3.86 3.89 3/476 30374
/proc/meminfo: memFree=24206168/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10556268 CPUtime=1.37 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 24914 0 1 0 134 3 0 0 25 0 19 0 811852009 10809618432 19822 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2639067 19822 2202 9 0 2629801 0
[pid=30374/tid=30375] ppid=30372 vsize=10556268 CPUtime=0.13 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) S 30372 30374 23562 0 -1 4202560 11619 0 1 0 12 1 0 0 21 0 19 0 811852009 10809618432 19822 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10556268
[startup+1.50156 s]
/proc/loadavg: 4.00 3.86 3.89 4/495 30399
/proc/meminfo: memFree=24017996/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10557584 CPUtime=2.71 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 55068 0 1 0 265 6 0 0 25 0 22 0 811852009 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2639396 44712 2252 9 0 2630130 0
[pid=30374/tid=30375] ppid=30372 vsize=10557584 CPUtime=0.13 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) S 30372 30374 23562 0 -1 4202560 11622 0 1 0 12 1 0 0 17 0 22 0 811852009 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30377] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30377/stat : 30377 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30378] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30378/stat : 30378 (java) S 30372 30374 23562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30379] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30379/stat : 30379 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30380] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30380/stat : 30380 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30381] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30381/stat : 30381 (java) S 30372 30374 23562 0 -1 4202560 164 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30382] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30382/stat : 30382 (java) S 30372 30374 23562 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30383] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30383/stat : 30383 (java) S 30372 30374 23562 0 -1 4202560 288 0 0 0 0 0 0 0 18 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30384] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30384/stat : 30384 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 811852011 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30385] ppid=30372 vsize=10557584 CPUtime=0.01 cores=1,3,5,7
/proc/30374/task/30385/stat : 30385 (java) S 30372 30374 23562 0 -1 4202560 600 0 0 0 1 0 0 0 15 0 22 0 811852012 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 0 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30386] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30386/stat : 30386 (java) S 30372 30374 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811852012 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30387] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30387/stat : 30387 (java) S 30372 30374 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811852012 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30388] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30388/stat : 30388 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811852014 10810966016 44712 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828060081 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30389] ppid=30372 vsize=10557584 CPUtime=0.74 cores=1,3,5,7
/proc/30374/task/30389/stat : 30389 (java) S 30372 30374 23562 0 -1 4202560 5406 0 0 0 74 0 0 0 21 0 22 0 811852014 10810966016 44727 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30390] ppid=30372 vsize=10557584 CPUtime=0.66 cores=1,3,5,7
/proc/30374/task/30390/stat : 30390 (java) R 30372 30374 23562 0 -1 4202560 11654 0 0 0 64 2 0 0 15 0 22 0 811852014 10810966016 44737 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 47637492410804 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30374/tid=30391] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30391/stat : 30391 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811852014 10810966016 44744 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30392] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30392/stat : 30392 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811852014 10810966016 44747 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30395] ppid=30372 vsize=10557584 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30395/stat : 30395 (java) S 30372 30374 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811852024 10810966016 44748 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10557584
[startup+3.10127 s]
/proc/loadavg: 4.00 3.86 3.89 5/498 30402
/proc/meminfo: memFree=23676500/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10556268 CPUtime=6.08 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 122306 0 1 0 593 15 0 0 25 0 22 0 811852009 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2639067 108336 2252 9 0 2629801 0
[pid=30374/tid=30375] ppid=30372 vsize=10556268 CPUtime=0.13 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) S 30372 30374 23562 0 -1 4202560 11622 0 1 0 12 1 0 0 15 0 22 0 811852009 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30377] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30377/stat : 30377 (java) S 30372 30374 23562 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30378] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30378/stat : 30378 (java) S 30372 30374 23562 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30379] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30379/stat : 30379 (java) S 30372 30374 23562 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30380] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30380/stat : 30380 (java) S 30372 30374 23562 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30381] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30381/stat : 30381 (java) S 30372 30374 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30382] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30382/stat : 30382 (java) S 30372 30374 23562 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30383] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30383/stat : 30383 (java) S 30372 30374 23562 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30384] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30384/stat : 30384 (java) S 30372 30374 23562 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 22 0 811852011 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30385] ppid=30372 vsize=10556268 CPUtime=0.05 cores=1,3,5,7
/proc/30374/task/30385/stat : 30385 (java) S 30372 30374 23562 0 -1 4202560 1895 0 0 0 5 0 0 0 15 0 22 0 811852012 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 0 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30386] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30386/stat : 30386 (java) S 30372 30374 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811852012 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30387] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30387/stat : 30387 (java) S 30372 30374 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811852012 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30388] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30388/stat : 30388 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811852014 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828060081 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30389] ppid=30372 vsize=10556268 CPUtime=0.79 cores=1,3,5,7
/proc/30374/task/30389/stat : 30389 (java) S 30372 30374 23562 0 -1 4202560 5414 0 0 0 79 0 0 0 15 0 22 0 811852014 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30390] ppid=30372 vsize=10556268 CPUtime=0.82 cores=1,3,5,7
/proc/30374/task/30390/stat : 30390 (java) S 30372 30374 23562 0 -1 4202560 13362 0 0 0 80 2 0 0 15 0 22 0 811852014 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30391] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30391/stat : 30391 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811852014 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30392] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30392/stat : 30392 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811852014 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30395] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30395/stat : 30395 (java) S 30372 30374 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 811852024 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30400] ppid=30372 vsize=10556268 CPUtime=1.87 cores=1,3,5,7
/proc/30374/task/30400/stat : 30400 (java) R 30372 30374 23562 0 -1 4202560 592 0 0 0 187 0 0 0 19 0 22 0 811852124 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 46912505589092 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30374/tid=30401] ppid=30372 vsize=10556268 CPUtime=1.86 cores=1,3,5,7
/proc/30374/task/30401/stat : 30401 (java) R 30372 30374 23562 0 -1 4202560 84369 0 0 0 177 9 0 0 20 0 22 0 811852124 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 46912505571119 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30374/tid=30402] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30402/stat : 30402 (java) S 30372 30374 23562 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811852125 10809618432 108336 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 10556268
Solver just ended. Dumping a history of the last processes samples
[startup+3.50123 s]
/proc/loadavg: 4.00 3.86 3.89 5/498 30402
/proc/meminfo: memFree=23618592/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10556268 CPUtime=6.49 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 122308 0 1 0 634 15 0 0 25 0 19 0 811852009 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2639067 108338 2252 9 0 2629801 0
[pid=30374/tid=30375] ppid=30372 vsize=10556268 CPUtime=0.13 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) S 30372 30374 23562 0 -1 4202560 11622 0 1 0 12 1 0 0 15 0 19 0 811852009 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30377] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30377/stat : 30377 (java) S 30372 30374 23562 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30378] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30378/stat : 30378 (java) S 30372 30374 23562 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30379] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30379/stat : 30379 (java) S 30372 30374 23562 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30380] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30380/stat : 30380 (java) S 30372 30374 23562 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30381] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30381/stat : 30381 (java) S 30372 30374 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30382] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30382/stat : 30382 (java) S 30372 30374 23562 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30383] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30383/stat : 30383 (java) S 30372 30374 23562 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30384] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30384/stat : 30384 (java) S 30372 30374 23562 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30385] ppid=30372 vsize=10556268 CPUtime=0.05 cores=1,3,5,7
/proc/30374/task/30385/stat : 30385 (java) S 30372 30374 23562 0 -1 4202560 1895 0 0 0 5 0 0 0 15 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 0 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30386] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30386/stat : 30386 (java) S 30372 30374 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30387] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30387/stat : 30387 (java) S 30372 30374 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30388] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30388/stat : 30388 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828060081 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30389] ppid=30372 vsize=10556268 CPUtime=0.79 cores=1,3,5,7
/proc/30374/task/30389/stat : 30389 (java) S 30372 30374 23562 0 -1 4202560 5414 0 0 0 79 0 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30390] ppid=30372 vsize=10556268 CPUtime=0.83 cores=1,3,5,7
/proc/30374/task/30390/stat : 30390 (java) S 30372 30374 23562 0 -1 4202560 13362 0 0 0 81 2 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30391] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30391/stat : 30391 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30392] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30392/stat : 30392 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30395] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30395/stat : 30395 (java) S 30372 30374 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811852024 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 10556268
[startup+3.70119 s]
/proc/loadavg: 4.00 3.86 3.89 5/498 30402
/proc/meminfo: memFree=23618592/32951124 swapFree=60476376/67111528
[pid=30374] ppid=30372 vsize=10556268 CPUtime=6.52 cores=1,3,5,7
/proc/30374/stat : 30374 (java) S 30372 30374 23562 0 -1 4202496 122308 0 1 0 637 15 0 0 25 0 19 0 811852009 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30374/statm: 2639067 108338 2252 9 0 2629801 0
[pid=30374/tid=30375] ppid=30372 vsize=10556268 CPUtime=0.17 cores=1,3,5,7
/proc/30374/task/30375/stat : 30375 (java) R 30372 30374 23562 0 -1 4202560 11622 0 1 0 16 1 0 0 15 0 19 0 811852009 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 46912505181646 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30374/tid=30377] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30377/stat : 30377 (java) S 30372 30374 23562 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30378] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30378/stat : 30378 (java) S 30372 30374 23562 0 -1 4202560 280 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 1 0 0 0
[pid=30374/tid=30379] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30379/stat : 30379 (java) S 30372 30374 23562 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30380] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30380/stat : 30380 (java) S 30372 30374 23562 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30381] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30381/stat : 30381 (java) S 30372 30374 23562 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30382] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30382/stat : 30382 (java) S 30372 30374 23562 0 -1 4202560 207 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30383] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30383/stat : 30383 (java) S 30372 30374 23562 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 5 0 0 0
[pid=30374/tid=30384] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30384/stat : 30384 (java) S 30372 30374 23562 0 -1 4202560 319 0 0 0 0 0 0 0 16 0 19 0 811852011 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30385] ppid=30372 vsize=10556268 CPUtime=0.05 cores=1,3,5,7
/proc/30374/task/30385/stat : 30385 (java) S 30372 30374 23562 0 -1 4202560 1895 0 0 0 5 0 0 0 15 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 0 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30386] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30386/stat : 30386 (java) S 30372 30374 23562 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30387] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30387/stat : 30387 (java) S 30372 30374 23562 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811852012 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30388] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30388/stat : 30388 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828060081 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30389] ppid=30372 vsize=10556268 CPUtime=0.79 cores=1,3,5,7
/proc/30374/task/30389/stat : 30389 (java) S 30372 30374 23562 0 -1 4202560 5414 0 0 0 79 0 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30390] ppid=30372 vsize=10556268 CPUtime=0.83 cores=1,3,5,7
/proc/30374/task/30390/stat : 30390 (java) R 30372 30374 23562 0 -1 4202560 13362 0 0 0 81 2 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 47637490789776 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30374/tid=30391] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30391/stat : 30391 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052377 0 4 0 16800975 18446604466323014016 0 0 -1 3 0 0 0
[pid=30374/tid=30392] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30392/stat : 30392 (java) S 30372 30374 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811852014 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
[pid=30374/tid=30395] ppid=30372 vsize=10556268 CPUtime=0 cores=1,3,5,7
/proc/30374/task/30395/stat : 30395 (java) S 30372 30374 23562 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811852024 10809618432 108338 33554432000 1073741824 1073778376 140737467216496 18446744073709551615 220828052992 0 4 0 16800975 18446604466323014016 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 10556268
Child status: 30
Real time (s): 3.73041
CPU time (s): 6.565
CPU user time (s): 6.39503
CPU system time (s): 0.169974
CPU usage (%): 175.986
Max. virtual memory (cumulated for all children) (KiB): 10557584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.39503
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122316
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= 378
involuntary context switches= 151
runsolver used 0.018997 second user time and 0.051992 second system time
The end