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-3453779-1307194209/watcher-3453779-1307194209 -o /tmp/evaluation-result-3453779-1307194209/solver-3453779-1307194209 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453779-1307194209.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: 3.45 3.84 3.72 4/519 27445
/proc/meminfo: memFree=29787124/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 8017 0 1 0 0 0 0 0 25 0 2 0 831021886 10694979584 7720 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2611079 7734 917 9 0 2602235 0
[pid=27445/tid=27446] ppid=27443 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) R 27443 27445 21775 0 -1 4202560 6963 0 1 0 0 0 0 0 25 0 2 0 831021886 10694979584 7780 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0998719 s]
/proc/loadavg: 3.45 3.84 3.72 4/519 27445
/proc/meminfo: memFree=29787124/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10540012 CPUtime=0.1 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 13090 0 1 0 9 1 0 0 25 0 18 0 831021886 10792972288 12773 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2635003 12774 2093 9 0 2625737 0
[pid=27445/tid=27446] ppid=27443 vsize=10540012 CPUtime=0.08 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) R 27443 27445 21775 0 -1 4202560 11195 0 1 0 7 1 0 0 18 0 18 0 831021886 10792972288 12776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540012
[startup+0.100872 s]
/proc/loadavg: 3.45 3.84 3.72 4/519 27445
/proc/meminfo: memFree=29787124/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10540012 CPUtime=0.1 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 13106 0 1 0 9 1 0 0 25 0 18 0 831021886 10792972288 12789 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2635003 12789 2093 9 0 2625737 0
[pid=27445/tid=27446] ppid=27443 vsize=10540012 CPUtime=0.08 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) R 27443 27445 21775 0 -1 4202560 11208 0 1 0 7 1 0 0 18 0 18 0 831021886 10792972288 12789 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 47065511279443 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540012
[startup+0.310775 s]
/proc/loadavg: 3.45 3.84 3.72 4/519 27445
/proc/meminfo: memFree=29787124/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10551560 CPUtime=0.76 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 18369 0 1 0 74 2 0 0 25 0 22 0 831021886 10804797440 16442 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2637890 16442 2194 9 0 2628624 0
[pid=27445/tid=27446] ppid=27443 vsize=10551560 CPUtime=0.14 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) S 27443 27445 21775 0 -1 4202560 11675 0 1 0 13 1 0 0 19 0 22 0 831021886 10804797440 16442 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10551560
[startup+0.751482 s]
/proc/loadavg: 3.45 3.84 3.72 4/519 27445
/proc/meminfo: memFree=29787124/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10550884 CPUtime=1.4 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 29741 0 1 0 135 5 0 0 25 0 20 0 831021886 10804105216 24004 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2637721 24009 2212 9 0 2628455 0
[pid=27445/tid=27446] ppid=27443 vsize=10550884 CPUtime=0.14 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) S 27443 27445 21775 0 -1 4202560 11676 0 1 0 13 1 0 0 16 0 20 0 831021886 10804105216 24010 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 10550884
[startup+1.50064 s]
/proc/loadavg: 3.45 3.84 3.72 3/538 27470
/proc/meminfo: memFree=29690588/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10556460 CPUtime=1.86 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 35968 0 1 0 180 6 0 0 25 0 19 0 831021886 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2639115 28776 2225 9 0 2629849 0
[pid=27445/tid=27446] ppid=27443 vsize=10556460 CPUtime=0.14 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) S 27443 27445 21775 0 -1 4202560 11679 0 1 0 13 1 0 0 16 0 19 0 831021886 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27448] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27449] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27450] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27454] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27454/stat : 27454 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27455] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27455/stat : 27455 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021888 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27456] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27456/stat : 27456 (java) S 27443 27445 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831021889 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 0 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27457] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27457/stat : 27457 (java) S 27443 27445 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831021889 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27458] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27458/stat : 27458 (java) S 27443 27445 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831021889 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27459] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27459/stat : 27459 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021892 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624934321 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27460] ppid=27443 vsize=10556460 CPUtime=0.46 cores=0,2,4,6
/proc/27445/task/27460/stat : 27460 (java) S 27443 27445 21775 0 -1 4202560 7287 0 0 0 45 1 0 0 15 0 19 0 831021892 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27461] ppid=27443 vsize=10556460 CPUtime=0.56 cores=0,2,4,6
/proc/27445/task/27461/stat : 27461 (java) S 27443 27445 21775 0 -1 4202560 6892 0 0 0 56 0 0 0 15 0 19 0 831021892 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27462] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27462/stat : 27462 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021892 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27463] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27463/stat : 27463 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831021892 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27467] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27467/stat : 27467 (java) S 27443 27445 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831021902 10809815040 28776 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10556460
Solver just ended. Dumping a history of the last processes samples
[startup+2.3015 s]
/proc/loadavg: 3.45 3.84 3.72 6/541 27476
/proc/meminfo: memFree=29496144/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10556460 CPUtime=3.86 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 95645 0 1 0 374 12 0 0 25 0 22 0 831021886 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2639115 86335 2251 9 0 2629849 0
[pid=27445/tid=27446] ppid=27443 vsize=10556460 CPUtime=0.14 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) S 27443 27445 21775 0 -1 4202560 11681 0 1 0 13 1 0 0 15 0 22 0 831021886 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27448] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27449] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 21775 0 -1 4202560 269 0 0 0 0 0 0 0 16 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27450] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 21775 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 21775 0 -1 4202560 406 0 0 0 0 0 0 0 16 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 21775 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 21775 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27454] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27454/stat : 27454 (java) S 27443 27445 21775 0 -1 4202560 187 0 0 0 0 0 0 0 16 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27455] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27455/stat : 27455 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831021888 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27456] ppid=27443 vsize=10556460 CPUtime=0.03 cores=0,2,4,6
/proc/27445/task/27456/stat : 27456 (java) S 27443 27445 21775 0 -1 4202560 1219 0 0 0 3 0 0 0 16 0 22 0 831021889 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 0 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27457] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27457/stat : 27457 (java) S 27443 27445 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831021889 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27458] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27458/stat : 27458 (java) S 27443 27445 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831021889 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27459] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27459/stat : 27459 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831021892 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624934321 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27460] ppid=27443 vsize=10556460 CPUtime=1.01 cores=0,2,4,6
/proc/27445/task/27460/stat : 27460 (java) S 27443 27445 21775 0 -1 4202560 9790 0 0 0 99 2 0 0 16 0 22 0 831021892 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27461] ppid=27443 vsize=10556460 CPUtime=0.79 cores=0,2,4,6
/proc/27445/task/27461/stat : 27461 (java) S 27443 27445 21775 0 -1 4202560 6947 0 0 0 79 0 0 0 15 0 22 0 831021892 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27462] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27462/stat : 27462 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831021892 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27463] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27463/stat : 27463 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831021892 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27467] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27467/stat : 27467 (java) S 27443 27445 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831021902 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27474] ppid=27443 vsize=10556460 CPUtime=0.59 cores=0,2,4,6
/proc/27445/task/27474/stat : 27474 (java) R 27443 27445 21775 0 -1 4202560 398 0 0 0 59 0 0 0 17 0 22 0 831022052 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 46912505512751 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27445/tid=27475] ppid=27443 vsize=10556460 CPUtime=0.56 cores=0,2,4,6
/proc/27445/task/27475/stat : 27475 (java) R 27443 27445 21775 0 -1 4202560 54200 0 0 0 51 5 0 0 18 0 22 0 831022052 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 46912505625382 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27445/tid=27476] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27476/stat : 27476 (java) S 27443 27445 21775 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831022052 10809815040 86335 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10556460
[startup+2.70138 s]
/proc/loadavg: 3.45 3.84 3.72 6/541 27476
/proc/meminfo: memFree=29496144/32951124 swapFree=53876548/67111528
[pid=27445] ppid=27443 vsize=10556460 CPUtime=4.17 cores=0,2,4,6
/proc/27445/stat : 27445 (java) S 27443 27445 21775 0 -1 4202496 95773 0 1 0 405 12 0 0 25 0 19 0 831021886 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27445/statm: 2639115 86463 2251 9 0 2629849 0
[pid=27445/tid=27446] ppid=27443 vsize=10556460 CPUtime=0.15 cores=0,2,4,6
/proc/27445/task/27446/stat : 27446 (java) R 27443 27445 21775 0 -1 4202560 11681 0 1 0 14 1 0 0 15 0 19 0 831021886 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27445/tid=27448] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27448/stat : 27448 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27449] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27449/stat : 27449 (java) S 27443 27445 21775 0 -1 4202560 269 0 0 0 0 0 0 0 16 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27450] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27450/stat : 27450 (java) S 27443 27445 21775 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27451] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27451/stat : 27451 (java) S 27443 27445 21775 0 -1 4202560 406 0 0 0 0 0 0 0 16 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
[pid=27445/tid=27452] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27452/stat : 27452 (java) S 27443 27445 21775 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27453] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27453/stat : 27453 (java) S 27443 27445 21775 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27454] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27454/stat : 27454 (java) S 27443 27445 21775 0 -1 4202560 187 0 0 0 0 0 0 0 16 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27455] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27455/stat : 27455 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831021888 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27456] ppid=27443 vsize=10556460 CPUtime=0.03 cores=0,2,4,6
/proc/27445/task/27456/stat : 27456 (java) S 27443 27445 21775 0 -1 4202560 1219 0 0 0 3 0 0 0 16 0 19 0 831021889 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 0 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27457] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27457/stat : 27457 (java) S 27443 27445 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831021889 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27458] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27458/stat : 27458 (java) S 27443 27445 21775 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831021889 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27459] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27459/stat : 27459 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021892 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624934321 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27460] ppid=27443 vsize=10556460 CPUtime=1.06 cores=0,2,4,6
/proc/27445/task/27460/stat : 27460 (java) S 27443 27445 21775 0 -1 4202560 9790 0 0 0 104 2 0 0 15 0 19 0 831021892 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 0 0 0 0
[pid=27445/tid=27461] ppid=27443 vsize=10556460 CPUtime=0.79 cores=0,2,4,6
/proc/27445/task/27461/stat : 27461 (java) S 27443 27445 21775 0 -1 4202560 6947 0 0 0 79 0 0 0 15 0 19 0 831021892 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27462] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27462/stat : 27462 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831021892 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624926617 0 4 0 16800975 18446604453758919744 0 0 -1 2 0 0 0
[pid=27445/tid=27463] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27463/stat : 27463 (java) S 27443 27445 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831021892 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 6 0 0 0
[pid=27445/tid=27467] ppid=27443 vsize=10556460 CPUtime=0 cores=0,2,4,6
/proc/27445/task/27467/stat : 27467 (java) S 27443 27445 21775 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831021902 10809815040 86463 33554432000 1073741824 1073778376 140734088693312 18446744073709551615 270624927232 0 4 0 16800975 18446604453758919744 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 10556460
Child status: 30
Real time (s): 2.71911
CPU time (s): 4.20136
CPU user time (s): 4.05638
CPU system time (s): 0.144977
CPU usage (%): 154.512
Max. virtual memory (cumulated for all children) (KiB): 10556460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.05638
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95779
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= 417
involuntary context switches= 145
runsolver used 0.014997 second user time and 0.039993 second system time
The end