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-3742513-1338769953/watcher-3742513-1338769953 -o /tmp/evaluation-result-3742513-1338769953/solver-3742513-1338769953 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742513-1338769953.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: 3.76 3.88 3.89 4/197 25070
/proc/meminfo: memFree=24387756/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25070/stat : 25070 (java) D 25068 25070 24098 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 343119633 9515008 183 33554432000 1073741824 1073778376 140736845497088 140736845488120 209883840181 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25070/statm: 2323 183 140 9 0 71 0
[startup+0.073625 s]
/proc/loadavg: 3.76 3.88 3.89 4/197 25070
/proc/meminfo: memFree=24387756/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 3855 0 1 0 4 1 0 0 20 0 13 0 343119633 11523600384 12217 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2813379 12217 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516
[startup+0.10029 s]
/proc/loadavg: 3.76 3.88 3.89 4/197 25070
/proc/meminfo: memFree=24387756/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 4258 0 1 0 6 1 0 0 20 0 18 0 343119633 11864465408 12620 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2896598 12620 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300253 s]
/proc/loadavg: 3.76 3.88 3.89 4/197 25070
/proc/meminfo: memFree=24387756/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11586392 CPUtime=0.55 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 7709 0 1 0 53 2 0 0 20 0 18 0 343119633 11864465408 18444 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2896598 18444 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 11586392
[startup+0.700204 s]
/proc/loadavg: 3.76 3.88 3.89 4/197 25070
/proc/meminfo: memFree=24387756/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 9490 0 1 0 151 5 0 0 20 0 22 0 343119633 12137111552 42922 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 42922 2260 9 0 2953849 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 11852648
[startup+1.50077 s]
/proc/loadavg: 3.76 3.88 3.89 5/196 25095
/proc/meminfo: memFree=28057652/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=4.32 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 22833 0 1 0 422 10 0 0 20 0 22 0 343119633 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 84397 2265 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2967 0 1 0 53 3 0 0 20 0 22 0 343119635 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) S 25068 25070 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343119638 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687585093864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10071 0 0 0 95 1 0 0 20 0 22 0 343119641 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25086] ppid=25068 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/25070/task/25086/stat : 25086 (java) S 25068 25070 24098 0 -1 4202560 8423 0 0 0 95 2 0 0 20 0 22 0 343119641 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687579830840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25087] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25087/stat : 25087 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687578778744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25088] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25088/stat : 25088 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687577726152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25089] ppid=25068 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/25070/task/25089/stat : 25089 (java) R 25068 25070 24098 0 -1 4202560 34 0 0 0 88 0 0 0 20 0 22 0 343119694 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687576670552 140687640869056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25090] ppid=25068 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/25070/task/25090/stat : 25090 (java) R 25068 25070 24098 0 -1 4202560 137 0 0 0 83 3 0 0 20 0 22 0 343119694 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687575617480 140687640549286 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25091] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25091/stat : 25091 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687574566056 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25092] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25092/stat : 25092 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 84397 33554432000 1073741824 1073778376 140733880421888 140687573513256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 3.76 3.88 3.89 3/196 25095
/proc/meminfo: memFree=27696852/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=7.62 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 23117 0 1 0 742 20 0 0 20 0 22 0 343119633 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 223161 2266 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2967 0 1 0 53 3 0 0 20 0 22 0 343119635 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) S 25068 25070 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343119638 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687585093864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10081 0 0 0 102 1 0 0 20 0 22 0 343119641 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25086] ppid=25068 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/25070/task/25086/stat : 25086 (java) S 25068 25070 24098 0 -1 4202560 8424 0 0 0 99 2 0 0 20 0 22 0 343119641 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687579830840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25087] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25087/stat : 25087 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687578778744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25088] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25088/stat : 25088 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687577726152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25089] ppid=25068 vsize=11852648 CPUtime=2.47 cores=1,3,5,7
/proc/25070/task/25089/stat : 25089 (java) R 25068 25070 24098 0 -1 4202560 35 0 0 0 247 0 0 0 20 0 22 0 343119694 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687576668784 140687640677280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25090] ppid=25068 vsize=11852648 CPUtime=2.44 cores=1,3,5,7
/proc/25070/task/25090/stat : 25090 (java) R 25068 25070 24098 0 -1 4202560 408 0 0 0 231 13 0 0 20 0 22 0 343119694 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687575617032 140687640691622 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25091] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25091/stat : 25091 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687574566056 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25092] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25092/stat : 25092 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 223161 33554432000 1073741824 1073778376 140733880421888 140687573513256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 11852648
[startup+6.30085 s]
/proc/loadavg: 3.78 3.88 3.89 5/219 25154
/proc/meminfo: memFree=26571436/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=14.6 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 23445 0 1 0 1431 29 0 0 20 0 22 0 343119633 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 287429 2290 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2967 0 1 0 53 3 0 0 20 0 22 0 343119635 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 343119637 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=0.09 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) R 25068 25070 24098 0 -1 4202560 38 0 0 0 9 0 0 0 20 0 22 0 343119638 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687585092720 140687774208116 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=1.59 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10191 0 0 0 158 1 0 0 20 0 22 0 343119641 12137111552 287429 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/25070/statm: 2963162 962212 2291 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2992 0 1 0 56 5 0 0 20 0 22 0 343119635 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 163 0 0 0 107 7 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 131 0 0 0 114 5 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 124 0 0 0 94 5 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 131 0 0 0 103 6 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 144 0 0 0 104 6 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 139 0 0 0 110 5 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 105 0 0 0 101 5 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 91 0 0 0 99 3 0 0 20 0 22 0 343119637 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=17.86 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) S 25068 25070 24098 0 -1 4202560 154 0 0 0 1780 6 0 0 20 0 22 0 343119638 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687585093864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10220 0 0 0 180 1 0 0 20 0 22 0 343119641 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25086] ppid=25068 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/25070/task/25086/stat : 25086 (java) S 25068 25070 24098 0 -1 4202560 11202 0 0 0 166 2 0 0 20 0 22 0 343119641 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687579830840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25087] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25087/stat : 25087 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687578778744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25088] ppid=25068 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/25070/task/25088/stat : 25088 (java) S 25068 25070 24098 0 -1 4202560 47 0 0 0 17 18 0 0 20 0 22 0 343119641 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687577726152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25089] ppid=25068 vsize=11852648 CPUtime=799.1 cores=1,3,5,7
/proc/25070/task/25089/stat : 25089 (java) R 25068 25070 24098 0 -1 4202560 94 0 0 0 79897 13 0 0 20 0 22 0 343119694 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687576670416 140687640777984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25090] ppid=25068 vsize=11852648 CPUtime=799 cores=1,3,5,7
/proc/25070/task/25090/stat : 25090 (java) R 25068 25070 24098 0 -1 4202560 1654 0 0 0 79832 68 0 0 20 0 22 0 343119694 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687575615696 140687640777411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25091] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25091/stat : 25091 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687574566056 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25092] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25092/stat : 25092 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962212 33554432000 1073741824 1073778376 140733880421888 140687573513256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.36
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/219 25160
/proc/meminfo: memFree=20512224/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=1751.7 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 28606 0 1 0 175038 132 0 0 20 0 22 0 343119633 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 962227 2291 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2994 0 1 0 56 5 0 0 20 0 22 0 343119635 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 166 0 0 0 111 7 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 132 0 0 0 119 5 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 128 0 0 0 102 5 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 133 0 0 0 109 6 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 144 0 0 0 107 6 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 139 0 0 0 116 5 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 107 0 0 0 105 5 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 94 0 0 0 104 3 0 0 20 0 22 0 343119637 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=19.71 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) S 25068 25070 24098 0 -1 4202560 158 0 0 0 1965 6 0 0 20 0 22 0 343119638 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687585093864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10220 0 0 0 180 1 0 0 20 0 22 0 343119641 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25086] ppid=25068 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/25070/task/25086/stat : 25086 (java) S 25068 25070 24098 0 -1 4202560 11202 0 0 0 166 2 0 0 20 0 22 0 343119641 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687579830840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25087] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25087/stat : 25087 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687578778744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25088] ppid=25068 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/25070/task/25088/stat : 25088 (java) S 25068 25070 24098 0 -1 4202560 51 0 0 0 19 20 0 0 20 0 22 0 343119641 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687577726152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25089] ppid=25068 vsize=11852648 CPUtime=856.98 cores=1,3,5,7
/proc/25070/task/25089/stat : 25089 (java) R 25068 25070 24098 0 -1 4202560 96 0 0 0 85684 14 0 0 20 0 22 0 343119694 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687576670416 140687640769520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25090] ppid=25068 vsize=11852648 CPUtime=856.88 cores=1,3,5,7
/proc/25070/task/25090/stat : 25090 (java) R 25068 25070 24098 0 -1 4202560 1654 0 0 0 85619 69 0 0 20 0 22 0 343119694 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687575615920 140687640977387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25091] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25091/stat : 25091 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687574566056 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25092] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25092/stat : 25092 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962227 33554432000 1073741824 1073778376 140733880421888 140687573513256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1751.7
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.001 s]
/proc/loadavg: 3.93 3.95 3.91 5/219 25160
/proc/meminfo: memFree=20454632/32873844 swapFree=7632/7632
[pid=25070] ppid=25068 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7
/proc/25070/stat : 25070 (java) S 25068 25070 24098 0 -1 4202496 28619 0 1 0 179882 132 0 0 20 0 22 0 343119633 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140733880413024 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25070/statm: 2963162 962234 2291 9 0 2953849 0
[pid=25070/tid=25072] ppid=25068 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/25070/task/25072/stat : 25072 (java) S 25068 25070 24098 0 -1 4202560 2996 0 1 0 56 5 0 0 20 0 22 0 343119635 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687767700632 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25073] ppid=25068 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/25070/task/25073/stat : 25073 (java) S 25068 25070 24098 0 -1 4202560 167 0 0 0 113 7 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687604873512 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25074] ppid=25068 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/25070/task/25074/stat : 25074 (java) S 25068 25070 24098 0 -1 4202560 133 0 0 0 121 5 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687603820712 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25075] ppid=25068 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/25070/task/25075/stat : 25075 (java) S 25068 25070 24098 0 -1 4202560 130 0 0 0 104 5 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687602768424 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25076] ppid=25068 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/25070/task/25076/stat : 25076 (java) S 25068 25070 24098 0 -1 4202560 136 0 0 0 113 6 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687601715624 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25077] ppid=25068 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/25070/task/25077/stat : 25077 (java) S 25068 25070 24098 0 -1 4202560 144 0 0 0 109 6 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687600663336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25078] ppid=25068 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/25070/task/25078/stat : 25078 (java) S 25068 25070 24098 0 -1 4202560 139 0 0 0 121 5 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687599610536 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25079] ppid=25068 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/25070/task/25079/stat : 25079 (java) S 25068 25070 24098 0 -1 4202560 107 0 0 0 107 5 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687598558248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25080] ppid=25068 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/25070/task/25080/stat : 25080 (java) S 25068 25070 24098 0 -1 4202560 94 0 0 0 107 3 0 0 20 0 22 0 343119637 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687597505448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25081] ppid=25068 vsize=11852648 CPUtime=20.79 cores=1,3,5,7
/proc/25070/task/25081/stat : 25081 (java) S 25068 25070 24098 0 -1 4202560 160 0 0 0 2073 6 0 0 20 0 22 0 343119638 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687585093864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25082] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25082/stat : 25082 (java) S 25068 25070 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687584039928 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25083] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25083/stat : 25083 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119639 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687582987528 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25084] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25084/stat : 25084 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687581936016 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25085] ppid=25068 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/25070/task/25085/stat : 25085 (java) S 25068 25070 24098 0 -1 4202560 10220 0 0 0 180 1 0 0 20 0 22 0 343119641 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687580883640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25086] ppid=25068 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/25070/task/25086/stat : 25086 (java) S 25068 25070 24098 0 -1 4202560 11202 0 0 0 166 2 0 0 20 0 22 0 343119641 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687579830840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25087] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25087/stat : 25087 (java) S 25068 25070 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 343119641 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687578778744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25088] ppid=25068 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/25070/task/25088/stat : 25088 (java) S 25068 25070 24098 0 -1 4202560 53 0 0 0 19 21 0 0 20 0 22 0 343119641 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687577726152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25070/tid=25089] ppid=25068 vsize=11852648 CPUtime=880.49 cores=1,3,5,7
/proc/25070/task/25089/stat : 25089 (java) R 25068 25070 24098 0 -1 4202560 96 0 0 0 88035 14 0 0 20 0 22 0 343119694 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687576670536 140687640869068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25070/tid=25090] ppid=25068 vsize=11852648 CPUtime=880.39 cores=1,3,5,7
/proc/25070/task/25090/stat : 25090 (java) R 25068 25070 24098 0 -1 4202560 1654 0 0 0 87970 69 0 0 20 0 22 0 343119694 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687575615512 140687640691799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25070/tid=25091] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25091/stat : 25091 (java) S 25068 25070 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687574566056 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25070/tid=25092] ppid=25068 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/25070/task/25092/stat : 25092 (java) S 25068 25070 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 343119696 12137111552 962234 33554432000 1073741824 1073778376 140733880421888 140687573513256 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25070 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=169244
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=780729
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 907.057
CPU time (s): 1800.14
CPU user time (s): 1798.82
CPU system time (s): 1.32
CPU usage (%): 198.459
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 1.78073
maximum resident set size= 3851104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28652
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24839
involuntary context switches= 31357
runsolver used 3.74143 second user time and 8.36473 second system time
The end