runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735379-1338755478/watcher-3735379-1338755478 -o /tmp/evaluation-result-3735379-1338755478/solver-3735379-1338755478 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735379-1338755478.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.05 2.02 3/194 633
/proc/meminfo: memFree=26983676/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/633/stat : 633 (java6) D 631 633 31022 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 341673939 2560000 46 33554432000 1073741824 1073778376 140733539882640 140733539879768 251022896423 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/633/statm: 625 46 37 9 0 29 0
[startup+0.072007 s]
/proc/loadavg: 1.96 2.05 2.02 3/194 633
/proc/meminfo: memFree=26983676/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2648548 CPUtime=0.04 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 3801 0 1 0 3 1 0 0 20 0 18 0 341673939 2712113152 5521 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 662137 5521 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648548
[startup+0.100257 s]
/proc/loadavg: 1.96 2.05 2.02 3/194 633
/proc/meminfo: memFree=26983676/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2648568 CPUtime=0.08 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 4640 0 1 0 7 1 0 0 20 0 18 0 341673939 2712133632 6359 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 662142 6359 2100 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300209 s]
/proc/loadavg: 1.96 2.05 2.02 3/194 633
/proc/meminfo: memFree=26983676/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 6224 0 1 0 45 1 0 0 20 0 19 0 341673939 2780295168 8969 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 8970 2225 9 0 669476 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2715132
[startup+0.700203 s]
/proc/loadavg: 1.96 2.05 2.02 3/194 633
/proc/meminfo: memFree=26983676/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=1.29 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 13866 0 1 0 126 3 0 0 20 0 19 0 341673939 2780295168 14379 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 14379 2235 9 0 669476 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2715132
[startup+1.50063 s]
/proc/loadavg: 1.96 2.05 2.02 3/213 652
/proc/meminfo: memFree=26928504/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=2.1 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 13876 0 1 0 207 3 0 0 20 0 19 0 341673939 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 17454 2237 9 0 669476 0
[pid=633/tid=635] ppid=631 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2774 0 1 0 144 2 0 0 20 0 19 0 341673940 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188095517208 140187951198257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341673942 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3702 0 0 0 33 0 0 0 20 0 19 0 341673945 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6201 0 0 0 29 0 0 0 20 0 19 0 341673945 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 17454 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 2715132
[startup+3.10062 s]
/proc/loadavg: 1.96 2.05 2.02 3/213 652
/proc/meminfo: memFree=26909708/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=3.78 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 14149 0 1 0 374 4 0 0 20 0 19 0 341673939 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 24666 2243 9 0 669476 0
[pid=633/tid=635] ppid=631 vsize=2715132 CPUtime=3.07 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2790 0 1 0 304 3 0 0 20 0 19 0 341673940 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188095509000 140187951240062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341673942 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3831 0 0 0 35 0 0 0 20 0 19 0 341673945 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6328 0 0 0 33 0 0 0 20 0 19 0 341673945 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 24666 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 2715132
[startup+6.30062 s]
/proc/loadavg: 1.96 2.05 2.02 3/213 652
/proc/meminfo: memFree=26856768/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=7.02 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 14192 0 1 0 697 5 0 0 20 0 19 0 341673939 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 37674 2243 9 0 669476 0
[pid=633/tid=635] ppid=631 vsize=2715132 CPUtime=6.26 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2820 0 1 0 623 3 0 0 20 0 19 0 341673940 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188095515168 140187951162528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341673941 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 341673942 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.37 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3838 0 0 0 36 1 0 0 20 0 19 0 341673945 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6334 0 0 0 35 0 0 0 20 0 19 0 341673945 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 37674 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
################
# More data... #
################
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 53 12 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 168 0 0 0 41 8 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0.62 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 255 0 0 0 51 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 68 0 0 0 1 2 0 0 20 0 19 0 341673942 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3841 0 0 0 39 2 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6334 0 0 0 35 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0.69 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 99 0 0 0 32 37 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.71
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 724
/proc/meminfo: memFree=26077792/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=1786.69 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 16294 0 1 0 178547 122 0 0 20 0 19 0 341673939 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 297698 2257 9 0 669476 0
[pid=633/tid=635] ppid=631 vsize=2715132 CPUtime=1780.68 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2967 0 1 0 178032 36 0 0 20 0 19 0 341673940 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188095516064 140187951245765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 50 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2715132 CPUtime=0.57 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 213 0 0 0 45 12 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 242 0 0 0 58 13 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 263 0 0 0 49 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2715132 CPUtime=0.55 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 183 0 0 0 46 9 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 53 12 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 168 0 0 0 41 8 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0.62 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 255 0 0 0 51 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 68 0 0 0 1 2 0 0 20 0 19 0 341673942 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3841 0 0 0 39 2 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6334 0 0 0 35 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0.72 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 103 0 0 0 33 39 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.69
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 748
/proc/meminfo: memFree=26069344/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2715132 CPUtime=1800 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 16294 0 1 0 179877 123 0 0 20 0 19 0 341673939 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 678783 297698 2257 9 0 669476 0
[pid=633/tid=635] ppid=631 vsize=2715132 CPUtime=1793.98 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2967 0 1 0 179362 36 0 0 20 0 19 0 341673940 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188095516064 140187951245765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 50 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2715132 CPUtime=0.57 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 213 0 0 0 45 12 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2715132 CPUtime=0.71 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 242 0 0 0 58 13 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2715132 CPUtime=0.6 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 263 0 0 0 49 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2715132 CPUtime=0.55 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 183 0 0 0 46 9 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2715132 CPUtime=0.65 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 53 12 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2715132 CPUtime=0.49 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 168 0 0 0 41 8 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2715132 CPUtime=0.62 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 255 0 0 0 51 11 0 0 20 0 19 0 341673941 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 68 0 0 0 1 2 0 0 20 0 19 0 341673942 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341673943 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3841 0 0 0 39 2 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2715132 CPUtime=0.35 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6334 0 0 0 35 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2715132 CPUtime=0.72 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 103 0 0 0 33 39 0 0 20 0 19 0 341673945 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 341673968 2780295168 297698 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 748
/proc/meminfo: memFree=26069344/32873844 swapFree=7372/7372
[pid=633] ppid=631 vsize=2848260 CPUtime=1800.22 cores=0,2,4,6
/proc/633/stat : 633 (java) S 631 633 31022 0 -1 4202496 16342 0 1 0 179899 123 0 0 20 0 21 0 341673939 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140734888206432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/633/statm: 712065 297743 2267 9 0 702758 0
[pid=633/tid=635] ppid=631 vsize=2848260 CPUtime=1794.08 cores=0,2,4,6
/proc/633/task/635/stat : 635 (java) R 631 633 31022 0 -1 4202560 2967 0 1 0 179372 36 0 0 20 0 21 0 341673940 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188095516064 140187951245765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=633/tid=636] ppid=631 vsize=2848260 CPUtime=0.61 cores=0,2,4,6
/proc/633/task/636/stat : 636 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 50 11 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188079967144 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=637] ppid=631 vsize=2848260 CPUtime=0.57 cores=0,2,4,6
/proc/633/task/637/stat : 637 (java) S 631 633 31022 0 -1 4202560 213 0 0 0 45 12 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188078914600 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=633/tid=638] ppid=631 vsize=2848260 CPUtime=0.71 cores=0,2,4,6
/proc/633/task/638/stat : 638 (java) S 631 633 31022 0 -1 4202560 242 0 0 0 58 13 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188077861544 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=639] ppid=631 vsize=2848260 CPUtime=0.6 cores=0,2,4,6
/proc/633/task/639/stat : 639 (java) S 631 633 31022 0 -1 4202560 263 0 0 0 49 11 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188076809000 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=640] ppid=631 vsize=2848260 CPUtime=0.55 cores=0,2,4,6
/proc/633/task/640/stat : 640 (java) S 631 633 31022 0 -1 4202560 183 0 0 0 46 9 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188075755944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=641] ppid=631 vsize=2848260 CPUtime=0.65 cores=0,2,4,6
/proc/633/task/641/stat : 641 (java) S 631 633 31022 0 -1 4202560 236 0 0 0 53 12 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188074703400 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=642] ppid=631 vsize=2848260 CPUtime=0.49 cores=0,2,4,6
/proc/633/task/642/stat : 642 (java) S 631 633 31022 0 -1 4202560 168 0 0 0 41 8 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188073650344 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=643] ppid=631 vsize=2848260 CPUtime=0.62 cores=0,2,4,6
/proc/633/task/643/stat : 643 (java) S 631 633 31022 0 -1 4202560 255 0 0 0 51 11 0 0 20 0 21 0 341673941 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140188072597800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=644] ppid=631 vsize=2848260 CPUtime=0.03 cores=0,2,4,6
/proc/633/task/644/stat : 644 (java) S 631 633 31022 0 -1 4202560 68 0 0 0 1 2 0 0 20 0 21 0 341673942 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187942218600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=645] ppid=631 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/633/task/645/stat : 645 (java) S 631 633 31022 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 341673943 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187941164920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=646] ppid=631 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/633/task/646/stat : 646 (java) S 631 633 31022 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 341673943 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187940111752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=647] ppid=631 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/633/task/647/stat : 647 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341673945 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187939060496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=633/tid=648] ppid=631 vsize=2848260 CPUtime=0.41 cores=0,2,4,6
/proc/633/task/648/stat : 648 (java) S 631 633 31022 0 -1 4202560 3843 0 0 0 39 2 0 0 20 0 21 0 341673945 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187938007352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=649] ppid=631 vsize=2848260 CPUtime=0.37 cores=0,2,4,6
/proc/633/task/649/stat : 649 (java) S 631 633 31022 0 -1 4202560 6344 0 0 0 37 0 0 0 20 0 21 0 341673945 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187936954808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=650] ppid=631 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/633/task/650/stat : 650 (java) S 631 633 31022 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 341673945 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140187935901944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=633/tid=651] ppid=631 vsize=2848260 CPUtime=0.72 cores=0,2,4,6
/proc/633/task/651/stat : 651 (java) S 631 633 31022 0 -1 4202560 103 0 0 0 33 39 0 0 20 0 21 0 341673945 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140186927229512 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=633/tid=652] ppid=631 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/633/task/652/stat : 652 (java) S 631 633 31022 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 341673968 2916618240 297743 33554432000 1073741824 1073778376 140734888215296 140186926175784 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 2848260
Child status: 143
Real time (s): 1795.72
CPU time (s): 1800.79
CPU user time (s): 1798.99
CPU system time (s): 1.80173
CPU usage (%): 100.282
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.80173
maximum resident set size= 1190976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16344
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38902
involuntary context switches= 13818
runsolver used 5.97109 second user time and 15.1227 second system time
The end