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-3454219-1307190814/watcher-3454219-1307190814 -o /tmp/evaluation-result-3454219-1307190814/solver-3454219-1307190814 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454219-1307190814.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.81 3.86 3.69 3/510 32505
/proc/meminfo: memFree=25499292/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 5586 0 1 0 0 0 0 0 25 0 2 0 830679913 10694979584 5289 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2611079 5289 917 9 0 2602235 0
[pid=32505/tid=32506] ppid=32503 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) R 32503 32505 28154 0 -1 4202560 5047 0 1 0 0 0 0 0 25 0 2 0 830679914 10694979584 5863 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.076991 s]
/proc/loadavg: 3.81 3.86 3.69 3/510 32505
/proc/meminfo: memFree=25499292/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 11890 0 1 0 5 1 0 0 25 0 18 0 830679913 10724442112 11588 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2618272 11588 1754 9 0 2609006 0
[pid=32505/tid=32506] ppid=32503 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) R 32503 32505 28154 0 -1 4202560 10717 0 1 0 5 1 0 0 22 0 18 0 830679914 10724442112 11588 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210204339920 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100969 s]
/proc/loadavg: 3.81 3.86 3.69 3/510 32505
/proc/meminfo: memFree=25499292/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10540292 CPUtime=0.11 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 12978 0 1 0 9 2 0 0 25 0 18 0 830679913 10793259008 12676 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2635073 12677 2092 9 0 2625807 0
[pid=32505/tid=32506] ppid=32503 vsize=10540292 CPUtime=0.08 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) R 32503 32505 28154 0 -1 4202560 11056 0 1 0 7 1 0 0 22 0 18 0 830679914 10793259008 12677 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540292
[startup+0.300972 s]
/proc/loadavg: 3.81 3.86 3.69 3/510 32505
/proc/meminfo: memFree=25499292/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10541676 CPUtime=0.49 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 17754 0 1 0 46 3 0 0 25 0 18 0 830679913 10794676224 16528 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2635419 16531 2199 9 0 2626153 0
[pid=32505/tid=32506] ppid=32503 vsize=10541676 CPUtime=0.28 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) R 32503 32505 28154 0 -1 4202560 14038 0 1 0 27 1 0 0 22 0 18 0 830679914 10794676224 16532 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505562907 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541676
[startup+0.700903 s]
/proc/loadavg: 3.81 3.86 3.69 3/510 32505
/proc/meminfo: memFree=25499292/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10548428 CPUtime=1.37 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 43242 0 1 0 131 6 0 0 25 0 18 0 830679913 10801590272 39726 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2637107 39729 2205 9 0 2627841 0
[pid=32505/tid=32506] ppid=32503 vsize=10548428 CPUtime=0.68 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) R 32503 32505 28154 0 -1 4202560 31419 0 1 0 65 3 0 0 23 0 18 0 830679914 10801590272 39730 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505562907 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10548428
[startup+1.50071 s]
/proc/loadavg: 3.81 3.86 3.69 6/530 32526
/proc/meminfo: memFree=25275880/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10554192 CPUtime=3.14 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 66666 0 1 0 305 9 0 0 25 0 22 0 830679913 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2638548 63148 2227 9 0 2629282 0
[pid=32505/tid=32506] ppid=32503 vsize=10554192 CPUtime=0.93 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) S 32503 32505 28154 0 -1 4202560 48622 0 1 0 87 6 0 0 20 0 22 0 830679914 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32509] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32509/stat : 32509 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32510] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830679917 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830679917 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32519] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32519/stat : 32519 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830679917 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32520] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32520/stat : 32520 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830679920 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216470961 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32521] ppid=32503 vsize=10554192 CPUtime=0.66 cores=0,2,4,6
/proc/32505/task/32521/stat : 32521 (java) R 32503 32505 28154 0 -1 4202560 7826 0 0 0 65 1 0 0 15 0 22 0 830679920 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46956755965244 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32505/tid=32522] ppid=32503 vsize=10554192 CPUtime=0.45 cores=0,2,4,6
/proc/32505/task/32522/stat : 32522 (java) R 32503 32505 28154 0 -1 4202560 3330 0 0 0 44 1 0 0 16 0 22 0 830679920 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46956755967125 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32505/tid=32523] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32523/stat : 32523 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830679920 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32524] ppid=32503 vsize=10554192 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32524/stat : 32524 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830679920 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32525] ppid=32503 vsize=10554192 CPUtime=0.55 cores=0,2,4,6
/proc/32505/task/32525/stat : 32525 (java) R 32503 32505 28154 0 -1 4202560 377 0 0 0 55 0 0 0 19 0 22 0 830680008 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505855645 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32505/tid=32526] ppid=32503 vsize=10554192 CPUtime=0.52 cores=0,2,4,6
/proc/32505/task/32526/stat : 32526 (java) R 32503 32505 28154 0 -1 4202560 5346 0 0 0 52 0 0 0 18 0 22 0 830680008 10807492608 63148 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505189993 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10554192
[startup+3.10143 s]
/proc/loadavg: 3.81 3.86 3.69 5/532 32528
/proc/meminfo: memFree=25174928/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10554404 CPUtime=6.73 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 192065 0 1 0 649 24 0 0 25 0 22 0 830679913 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2638601 188546 2228 9 0 2629335 0
[pid=32505/tid=32506] ppid=32503 vsize=10554404 CPUtime=0.93 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) S 32503 32505 28154 0 -1 4202560 48622 0 1 0 87 6 0 0 15 0 22 0 830679914 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32509] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32509/stat : 32509 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32510] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830679917 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830679917 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32519] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32519/stat : 32519 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830679917 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32520] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32520/stat : 32520 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830679920 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216470961 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32521] ppid=32503 vsize=10554404 CPUtime=0.87 cores=0,2,4,6
/proc/32505/task/32521/stat : 32521 (java) R 32503 32505 28154 0 -1 4202560 7852 0 0 0 86 1 0 0 15 0 22 0 830679920 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46956756154006 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32505/tid=32522] ppid=32503 vsize=10554404 CPUtime=0.64 cores=0,2,4,6
/proc/32505/task/32522/stat : 32522 (java) R 32503 32505 28154 0 -1 4202560 3404 0 0 0 63 1 0 0 15 0 22 0 830679920 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46956755847799 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32505/tid=32523] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32523/stat : 32523 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830679920 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32524] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32524/stat : 32524 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830679920 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32525] ppid=32503 vsize=10554404 CPUtime=2.15 cores=0,2,4,6
/proc/32505/task/32525/stat : 32525 (java) R 32503 32505 28154 0 -1 4202560 591 0 0 0 215 0 0 0 23 0 22 0 830680008 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505855566 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32505/tid=32526] ppid=32503 vsize=10554404 CPUtime=2.11 cores=0,2,4,6
/proc/32505/task/32526/stat : 32526 (java) R 32503 32505 28154 0 -1 4202560 130431 0 0 0 196 15 0 0 21 0 22 0 830680008 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505611381 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32505/tid=32527] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32527/stat : 32527 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830680016 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32528] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32528/stat : 32528 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680019 10807709696 188546 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 10554404
[startup+6.30092 s]
/proc/loadavg: 3.83 3.86 3.69 5/532 32528
/proc/meminfo: memFree=23850368/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10554404 CPUtime=13.35 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 520842 0 1 0 1275 60 0 0 25 0 22 0 830679913 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2638601 517281 2232 9 0 2629335 0
[pid=32505/tid=32506] ppid=32503 vsize=10554404 CPUtime=0.93 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) S 32503 32505 28154 0 -1 4202560 48622 0 1 0 87 6 0 0 15 0 22 0 830679914 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32509] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32509/stat : 32509 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32510] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830679916 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830679917 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10554404 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830679917 10807709696 517281 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 15561 0 0 0 34 3 0 0 15 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10563604 CPUtime=0.39 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 16518 0 0 0 37 2 0 0 16 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10563604 CPUtime=0.36 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 14883 0 0 0 35 1 0 0 16 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10563604 CPUtime=0.36 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 13774 0 0 0 34 2 0 0 15 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10563604 CPUtime=0.41 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 17274 0 0 0 38 3 0 0 16 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10563604 CPUtime=0.38 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 16468 0 0 0 35 3 0 0 15 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10563604 CPUtime=0.32 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 12344 0 0 0 31 1 0 0 16 0 22 0 830679916 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10563604 CPUtime=1.89 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 3278 0 0 0 187 2 0 0 15 0 22 0 830679917 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32519] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32519/stat : 32519 (java) S 32503 32505 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32520] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32520/stat : 32520 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830679920 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216470961 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32521] ppid=32503 vsize=10563604 CPUtime=1.17 cores=0,2,4,6
/proc/32505/task/32521/stat : 32521 (java) S 32503 32505 28154 0 -1 4202560 7879 0 0 0 116 1 0 0 15 0 22 0 830679920 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32522] ppid=32503 vsize=10563604 CPUtime=1.7 cores=0,2,4,6
/proc/32505/task/32522/stat : 32522 (java) S 32503 32505 28154 0 -1 4202560 7763 0 0 0 169 1 0 0 15 0 22 0 830679920 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32523] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32523/stat : 32523 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830679920 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32524] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32524/stat : 32524 (java) S 32503 32505 28154 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830679920 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32525] ppid=32503 vsize=10563604 CPUtime=818.44 cores=0,2,4,6
/proc/32505/task/32525/stat : 32525 (java) R 32503 32505 28154 0 -1 4202560 1120 0 0 0 81843 1 0 0 25 0 22 0 830680008 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912506163099 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32505/tid=32526] ppid=32503 vsize=10563604 CPUtime=818.36 cores=0,2,4,6
/proc/32505/task/32526/stat : 32526 (java) R 32503 32505 28154 0 -1 4202560 778391 0 0 0 81753 83 0 0 25 0 22 0 830680008 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505611219 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32505/tid=32527] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32527/stat : 32527 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830680016 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32528] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32528/stat : 32528 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680019 10817130496 965015 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1645.61
Current children cumulated vsize (KiB) 10563604
[startup+882.301 s]
/proc/loadavg: 4.09 3.93 3.80 5/532 380
/proc/meminfo: memFree=21226084/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10563604 CPUtime=1765.68 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 985969 0 1 0 176446 122 0 0 25 0 22 0 830679913 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2640901 977195 2256 9 0 2631635 0
[pid=32505/tid=32506] ppid=32503 vsize=10563604 CPUtime=0.93 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) S 32503 32505 28154 0 -1 4202560 48628 0 1 0 87 6 0 0 15 0 22 0 830679914 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32509] ppid=32503 vsize=10563604 CPUtime=0.45 cores=0,2,4,6
/proc/32505/task/32509/stat : 32509 (java) S 32503 32505 28154 0 -1 4202560 19407 0 0 0 41 4 0 0 16 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32510] ppid=32503 vsize=10563604 CPUtime=0.41 cores=0,2,4,6
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 17171 0 0 0 38 3 0 0 15 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10563604 CPUtime=0.42 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 18493 0 0 0 40 2 0 0 16 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10563604 CPUtime=0.39 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 16918 0 0 0 37 2 0 0 15 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10563604 CPUtime=0.38 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 15911 0 0 0 36 2 0 0 16 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10563604 CPUtime=0.43 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 18657 0 0 0 40 3 0 0 15 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10563604 CPUtime=0.42 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 18371 0 0 0 39 3 0 0 15 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10563604 CPUtime=0.36 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 12754 0 0 0 34 2 0 0 15 0 22 0 830679916 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10563604 CPUtime=1.9 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 3282 0 0 0 187 3 0 0 15 0 22 0 830679917 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32519] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32519/stat : 32519 (java) S 32503 32505 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32520] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32520/stat : 32520 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830679920 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216470961 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32521] ppid=32503 vsize=10563604 CPUtime=1.17 cores=0,2,4,6
/proc/32505/task/32521/stat : 32521 (java) S 32503 32505 28154 0 -1 4202560 7879 0 0 0 116 1 0 0 15 0 22 0 830679920 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32522] ppid=32503 vsize=10563604 CPUtime=1.7 cores=0,2,4,6
/proc/32505/task/32522/stat : 32522 (java) S 32503 32505 28154 0 -1 4202560 7763 0 0 0 169 1 0 0 15 0 22 0 830679920 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32523] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32523/stat : 32523 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830679920 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32524] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32524/stat : 32524 (java) S 32503 32505 28154 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830679920 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32525] ppid=32503 vsize=10563604 CPUtime=878.34 cores=0,2,4,6
/proc/32505/task/32525/stat : 32525 (java) R 32503 32505 28154 0 -1 4202560 1139 0 0 0 87833 1 0 0 25 0 22 0 830680008 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912506163111 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32505/tid=32526] ppid=32503 vsize=10563604 CPUtime=878.28 cores=0,2,4,6
/proc/32505/task/32526/stat : 32526 (java) R 32503 32505 28154 0 -1 4202560 778391 0 0 0 87744 84 0 0 25 0 22 0 830680008 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505988517 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32505/tid=32527] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32527/stat : 32527 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830680016 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32528] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32528/stat : 32528 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680019 10817130496 977195 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1765.68
Current children cumulated vsize (KiB) 10563604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.501 s]
/proc/loadavg: 4.00 3.91 3.80 5/532 380
/proc/meminfo: memFree=21212308/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=10563604 CPUtime=1800.15 cores=0,2,4,6
/proc/32505/stat : 32505 (java) S 32503 32505 28154 0 -1 4202496 989627 0 1 0 179892 123 0 0 25 0 22 0 830679913 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 2640901 980443 2256 9 0 2631635 0
[pid=32505/tid=32506] ppid=32503 vsize=10563604 CPUtime=0.93 cores=0,2,4,6
/proc/32505/task/32506/stat : 32506 (java) S 32503 32505 28154 0 -1 4202560 48628 0 1 0 87 6 0 0 15 0 22 0 830679914 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32509] ppid=32503 vsize=10563604 CPUtime=0.45 cores=0,2,4,6
/proc/32505/task/32509/stat : 32509 (java) S 32503 32505 28154 0 -1 4202560 19488 0 0 0 41 4 0 0 16 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32510] ppid=32503 vsize=10563604 CPUtime=0.41 cores=0,2,4,6
/proc/32505/task/32510/stat : 32510 (java) S 32503 32505 28154 0 -1 4202560 17317 0 0 0 38 3 0 0 16 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32511] ppid=32503 vsize=10563604 CPUtime=0.43 cores=0,2,4,6
/proc/32505/task/32511/stat : 32511 (java) S 32503 32505 28154 0 -1 4202560 18909 0 0 0 41 2 0 0 15 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32512] ppid=32503 vsize=10563604 CPUtime=0.41 cores=0,2,4,6
/proc/32505/task/32512/stat : 32512 (java) S 32503 32505 28154 0 -1 4202560 17133 0 0 0 39 2 0 0 16 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32513] ppid=32503 vsize=10563604 CPUtime=0.38 cores=0,2,4,6
/proc/32505/task/32513/stat : 32513 (java) S 32503 32505 28154 0 -1 4202560 17081 0 0 0 36 2 0 0 15 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32514] ppid=32503 vsize=10563604 CPUtime=0.45 cores=0,2,4,6
/proc/32505/task/32514/stat : 32514 (java) S 32503 32505 28154 0 -1 4202560 20159 0 0 0 42 3 0 0 16 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32515] ppid=32503 vsize=10563604 CPUtime=0.43 cores=0,2,4,6
/proc/32505/task/32515/stat : 32515 (java) S 32503 32505 28154 0 -1 4202560 18386 0 0 0 40 3 0 0 15 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32516] ppid=32503 vsize=10563604 CPUtime=0.36 cores=0,2,4,6
/proc/32505/task/32516/stat : 32516 (java) S 32503 32505 28154 0 -1 4202560 12860 0 0 0 34 2 0 0 15 0 22 0 830679916 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32517] ppid=32503 vsize=10563604 CPUtime=1.9 cores=0,2,4,6
/proc/32505/task/32517/stat : 32517 (java) S 32503 32505 28154 0 -1 4202560 3282 0 0 0 187 3 0 0 15 0 22 0 830679917 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 0 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32518] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32518/stat : 32518 (java) S 32503 32505 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32519] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32519/stat : 32519 (java) S 32503 32505 28154 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830679917 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32520] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32520/stat : 32520 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830679920 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216470961 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32521] ppid=32503 vsize=10563604 CPUtime=1.17 cores=0,2,4,6
/proc/32505/task/32521/stat : 32521 (java) S 32503 32505 28154 0 -1 4202560 7879 0 0 0 116 1 0 0 15 0 22 0 830679920 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 2 0 0 0
[pid=32505/tid=32522] ppid=32503 vsize=10563604 CPUtime=1.7 cores=0,2,4,6
/proc/32505/task/32522/stat : 32522 (java) S 32503 32505 28154 0 -1 4202560 7763 0 0 0 169 1 0 0 15 0 22 0 830679920 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32523] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32523/stat : 32523 (java) S 32503 32505 28154 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830679920 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463257 0 4 0 16800975 18446604441020369920 0 0 -1 6 0 0 0
[pid=32505/tid=32524] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32524/stat : 32524 (java) S 32503 32505 28154 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830679920 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
[pid=32505/tid=32525] ppid=32503 vsize=10563604 CPUtime=895.53 cores=0,2,4,6
/proc/32505/task/32525/stat : 32525 (java) R 32503 32505 28154 0 -1 4202560 1144 0 0 0 89552 1 0 0 25 0 22 0 830680008 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505860263 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32505/tid=32526] ppid=32503 vsize=10563604 CPUtime=895.47 cores=0,2,4,6
/proc/32505/task/32526/stat : 32526 (java) R 32503 32505 28154 0 -1 4202560 778391 0 0 0 89463 84 0 0 25 0 22 0 830680008 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 46912505611224 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32505/tid=32527] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32527/stat : 32527 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830680016 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 0 0 0 0
[pid=32505/tid=32528] ppid=32503 vsize=10563604 CPUtime=0 cores=0,2,4,6
/proc/32505/task/32528/stat : 32528 (java) S 32503 32505 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680019 10817130496 980443 33554432000 1073741824 1073778376 140734380880384 18446744073709551615 210216463872 0 4 0 16800975 18446604441020369920 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10563604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.626 s]
/proc/loadavg: 4.00 3.91 3.80 5/532 380
/proc/meminfo: memFree=21212308/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/32505/stat : 32505 (java) Z 32503 32505 28154 0 -1 4203548 989668 0 1 0 179903 129 0 0 17 0 2 0 830679913 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
[startup+899.701 s]
/proc/loadavg: 4.00 3.91 3.80 4/513 383
/proc/meminfo: memFree=24635852/32951124 swapFree=63649284/67111528
[pid=32505] ppid=32503 vsize=0 CPUtime=1800.41 cores=0,2,4,6
/proc/32505/stat : 32505 (java) Z 32503 32505 28154 0 -1 4203548 989668 0 1 0 179903 138 0 0 17 0 2 0 830679913 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32505/statm: 0 0 0 0 0 0 0
[pid=32505/tid=382] ppid=32503 vsize=0 CPUtime=0.15 cores=0,2,4,6
/proc/32505/task/382/stat : 382 (java) R 32503 32505 28154 0 -1 4203588 11 0 0 0 0 15 0 0 19 0 2 0 830769866 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.726
CPU time (s): 1800.43
CPU user time (s): 1799.03
CPU system time (s): 1.39279
CPU usage (%): 200.108
Max. virtual memory (cumulated for all children) (KiB): 10569244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.39279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 989668
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= 27403
involuntary context switches= 25770
runsolver used 4.92425 second user time and 10.0135 second system time
The end