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-3734365-1338700361/watcher-3734365-1338700361 -o /tmp/evaluation-result-3734365-1338700361/solver-3734365-1338700361 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734365-1338700361.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 19718
/proc/meminfo: memFree=27454576/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 336160631 94019584 916 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 22954 917 697 9 0 16769 0
[pid=19718/tid=19719] ppid=19716 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) D 19716 19718 15746 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 336160631 94019584 917 33554432000 1073741824 1073778376 140736865507568 140244691611176 248781040935 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.0959449 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 19718
/proc/meminfo: memFree=27454576/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 4929 0 1 0 9 1 0 0 20 0 18 0 336160631 3028844544 6626 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 739464 6626 2130 9 0 729885 0
[pid=19718/tid=19719] ppid=19716 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3001 0 1 0 6 1 0 0 20 0 18 0 336160631 3028844544 6626 33554432000 1073741824 1073778376 140736865507568 140244691616224 140244698127487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.100241 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 19718
/proc/meminfo: memFree=27454576/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 4930 0 1 0 9 1 0 0 20 0 18 0 336160631 3028844544 7138 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 739464 7138 2130 9 0 729885 0
[pid=19718/tid=19719] ppid=19716 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3002 0 1 0 6 1 0 0 20 0 18 0 336160631 3028844544 7138 33554432000 1073741824 1073778376 140736865507568 140244691616224 140244699380466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.30023 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 19718
/proc/meminfo: memFree=27454576/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=2957856 CPUtime=0.59 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 8148 0 1 0 57 2 0 0 20 0 18 0 336160631 3028844544 12182 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 739464 12182 2240 9 0 729885 0
[pid=19718/tid=19719] ppid=19716 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3025 0 1 0 25 2 0 0 20 0 18 0 336160631 3028844544 12182 33554432000 1073741824 1073778376 140736865507568 140244691616248 140244523648516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2957856
[startup+0.700335 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 19718
/proc/meminfo: memFree=27454576/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 8658 0 1 0 103 5 0 0 20 0 19 0 336160631 3097006080 50940 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 50940 2261 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=0.67 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3113 0 1 0 62 5 0 0 20 0 19 0 336160631 3097006080 50940 33554432000 1073741824 1073778376 140736865507568 140244691616464 140244523531412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 3024420
[startup+1.50074 s]
/proc/loadavg: 2.02 2.02 2.00 4/213 19738
/proc/meminfo: memFree=27258260/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=2.19 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 9940 0 1 0 213 6 0 0 20 0 19 0 336160631 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 51805 2279 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3122 0 1 0 142 5 0 0 20 0 19 0 336160631 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244691616392 140244524053431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336160633 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 2925 0 0 0 32 0 0 0 20 0 19 0 336160636 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 2694 0 0 0 35 0 0 0 20 0 19 0 336160636 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19738] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19738/stat : 19738 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336160704 3097006080 51805 33554432000 1073741824 1073778376 140736865507568 140244645692200 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420
[startup+3.10062 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 19738
/proc/meminfo: memFree=27255452/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=3.79 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 9944 0 1 0 373 6 0 0 20 0 19 0 336160631 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 52318 2279 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=3.07 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3125 0 1 0 302 5 0 0 20 0 19 0 336160631 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244691616408 140244524052832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336160633 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 2925 0 0 0 32 0 0 0 20 0 19 0 336160636 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 2694 0 0 0 35 0 0 0 20 0 19 0 336160636 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19738] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19738/stat : 19738 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336160704 3097006080 52318 33554432000 1073741824 1073778376 140736865507568 140244645692200 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 3024420
[startup+6.30063 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 19738
/proc/meminfo: memFree=27251520/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=7.03 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 9949 0 1 0 697 6 0 0 20 0 19 0 336160631 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 53189 2279 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3129 0 1 0 621 5 0 0 20 0 19 0 336160631 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244691616272 140244524069599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336160632 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336160633 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 2926 0 0 0 34 0 0 0 20 0 19 0 336160636 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 2694 0 0 0 38 0 0 0 20 0 19 0 336160636 3097006080 53189 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 3207 0 0 0 37 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 3255 0 0 0 44 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0.78 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 101 0 0 0 40 38 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19745] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19745/stat : 19745 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336207885 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244645692840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.77
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 19937
/proc/meminfo: memFree=24849048/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=1786.81 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 13507 0 1 0 178463 218 0 0 20 0 19 0 336160631 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 420200 2301 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=1773.47 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3254 0 1 0 177311 36 0 0 20 0 19 0 336160631 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244691614960 140244524069629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 284 0 0 0 30 19 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 247 0 0 0 29 18 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 359 0 0 0 45 25 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 292 0 0 0 32 20 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 336 0 0 0 36 23 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 301 0 0 0 33 21 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 232 0 0 0 24 16 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 343 0 0 0 36 24 0 0 20 0 19 0 336160632 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=2.98 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 95 0 0 0 295 3 0 0 20 0 19 0 336160633 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 3207 0 0 0 37 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 3255 0 0 0 44 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 105 0 0 0 42 39 0 0 20 0 19 0 336160636 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19745] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19745/stat : 19745 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336207885 3097006080 420200 33554432000 1073741824 1073778376 140736865507568 140244645692840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 19937
/proc/meminfo: memFree=24849916/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 13520 0 1 0 179789 218 0 0 20 0 19 0 336160631 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 419925 2306 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=1786.64 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3254 0 1 0 178627 37 0 0 20 0 19 0 336160631 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244691616184 140244524251220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 284 0 0 0 30 19 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 247 0 0 0 29 18 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 359 0 0 0 45 25 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 292 0 0 0 32 20 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 336 0 0 0 36 23 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 301 0 0 0 33 21 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 232 0 0 0 24 16 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 343 0 0 0 36 24 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=2.98 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 95 0 0 0 295 3 0 0 20 0 19 0 336160633 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 3214 0 0 0 41 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 3261 0 0 0 46 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 105 0 0 0 42 39 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19745] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19745/stat : 19745 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336207885 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244645692840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 19937
/proc/meminfo: memFree=24849916/32873844 swapFree=7108/7108
[pid=19718] ppid=19716 vsize=3024420 CPUtime=1800.07 cores=1,3,5,7
/proc/19718/stat : 19718 (java) S 19716 19718 15746 0 -1 4202496 13520 0 1 0 179789 218 0 0 20 0 19 0 336160631 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140736865498704 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/19718/statm: 756105 419925 2306 9 0 746526 0
[pid=19718/tid=19719] ppid=19716 vsize=3024420 CPUtime=1786.64 cores=1,3,5,7
/proc/19718/task/19719/stat : 19719 (java) R 19716 19718 15746 0 -1 4202560 3254 0 1 0 178627 37 0 0 20 0 19 0 336160631 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244691616184 140244524251220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19721] ppid=19716 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/19718/task/19721/stat : 19721 (java) S 19716 19718 15746 0 -1 4202560 284 0 0 0 30 19 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244675041576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19722] ppid=19716 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/19718/task/19722/stat : 19722 (java) S 19716 19718 15746 0 -1 4202560 247 0 0 0 29 18 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244673988776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19723] ppid=19716 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/19718/task/19723/stat : 19723 (java) S 19716 19718 15746 0 -1 4202560 359 0 0 0 45 25 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244672936488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19724] ppid=19716 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/19718/task/19724/stat : 19724 (java) S 19716 19718 15746 0 -1 4202560 292 0 0 0 32 20 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244671883688 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19725] ppid=19716 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/19718/task/19725/stat : 19725 (java) S 19716 19718 15746 0 -1 4202560 336 0 0 0 36 23 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244670831400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19718/tid=19726] ppid=19716 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/19718/task/19726/stat : 19726 (java) S 19716 19718 15746 0 -1 4202560 301 0 0 0 33 21 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244669778600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19727] ppid=19716 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/19718/task/19727/stat : 19727 (java) S 19716 19718 15746 0 -1 4202560 232 0 0 0 24 16 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244668726312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19728] ppid=19716 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/19718/task/19728/stat : 19728 (java) S 19716 19718 15746 0 -1 4202560 343 0 0 0 36 24 0 0 20 0 19 0 336160632 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244667673512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19729] ppid=19716 vsize=3024420 CPUtime=2.98 cores=1,3,5,7
/proc/19718/task/19729/stat : 19729 (java) S 19716 19718 15746 0 -1 4202560 95 0 0 0 295 3 0 0 20 0 19 0 336160633 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244655261928 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19730] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19730/stat : 19730 (java) S 19716 19718 15746 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244654207992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19731] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19731/stat : 19731 (java) S 19716 19718 15746 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336160634 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244653155592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19732] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19732/stat : 19732 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244652104080 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19733] ppid=19716 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19718/task/19733/stat : 19733 (java) S 19716 19718 15746 0 -1 4202560 3214 0 0 0 41 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244651051704 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19718/tid=19734] ppid=19716 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/19718/task/19734/stat : 19734 (java) S 19716 19718 15746 0 -1 4202560 3261 0 0 0 46 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244649998904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19735] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19735/stat : 19735 (java) S 19716 19718 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244648946808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19718/tid=19736] ppid=19716 vsize=3024420 CPUtime=0.81 cores=1,3,5,7
/proc/19718/task/19736/stat : 19736 (java) S 19716 19718 15746 0 -1 4202560 105 0 0 0 42 39 0 0 20 0 19 0 336160636 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244647894216 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19718/tid=19745] ppid=19716 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19718/task/19745/stat : 19745 (java) S 19716 19718 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336207885 3097006080 419925 33554432000 1073741824 1073778376 140736865507568 140244645692840 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3024420
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19718 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=299377
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=591606
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.53
CPU time (s): 1800.07
CPU user time (s): 1797.89
CPU system time (s): 2.18
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.3
system time used= 2.59161
maximum resident set size= 1680820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13554
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38036
involuntary context switches= 13196
runsolver used 6.24105 second user time and 16.4745 second system time
The end