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-3732055-1338688748/watcher-3732055-1338688748 -o /tmp/evaluation-result-3732055-1338688748/solver-3732055-1338688748 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732055-1338688748.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 32501
/proc/meminfo: memFree=27068440/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/32501/stat : 32501 (java) R 32499 32501 29837 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 335000700 23793664 708 33554432000 1073741824 1073778376 140736835676224 140736835665288 242158187880 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 5809 708 523 9 0 128 0
[startup+0.0729831 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 32501
/proc/meminfo: memFree=27068440/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 4183 0 1 0 5 1 0 0 20 0 18 0 335000700 3028844544 5390 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 739464 5390 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856
[startup+0.100248 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 32501
/proc/meminfo: memFree=27068440/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 4990 0 1 0 9 1 0 0 20 0 18 0 335000700 3028844544 6171 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 739464 6171 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300224 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 32501
/proc/meminfo: memFree=27068440/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 7632 0 1 0 46 2 0 0 20 0 19 0 335000700 3097006080 8846 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 8846 2247 9 0 746526 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 3024420
[startup+0.70021 s]
/proc/loadavg: 2.04 2.03 2.00 3/194 32501
/proc/meminfo: memFree=27068440/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=1.01 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 8268 0 1 0 99 2 0 0 20 0 19 0 335000700 3097006080 13524 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 13524 2260 9 0 746526 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 3024420
[startup+1.5007 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32526
/proc/meminfo: memFree=27000252/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=1.82 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 8303 0 1 0 179 3 0 0 20 0 19 0 335000700 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 27862 2260 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3138 0 1 0 145 2 0 0 20 0 19 0 335000701 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121221636608 140121161813956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.17 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2339 0 0 0 17 0 0 0 20 0 19 0 335000706 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 1617 0 0 0 13 0 0 0 20 0 19 0 335000706 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32526] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32526/stat : 32526 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000772 3097006080 27862 33554432000 1073741824 1073778376 140736835676224 140121057944872 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32526
/proc/meminfo: memFree=26921700/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=3.42 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 8358 0 1 0 338 4 0 0 20 0 19 0 335000700 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 56022 2260 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3193 0 1 0 304 3 0 0 20 0 19 0 335000701 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121221636440 140121161772412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2339 0 0 0 18 0 0 0 20 0 19 0 335000706 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 1617 0 0 0 13 0 0 0 20 0 19 0 335000706 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32526] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32526/stat : 32526 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000772 3097006080 56022 33554432000 1073741824 1073778376 140736835676224 140121057944872 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 3024420
[startup+6.30069 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32528
/proc/meminfo: memFree=26732676/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=6.62 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 8448 0 1 0 656 6 0 0 20 0 19 0 335000700 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 93101 2262 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3271 0 1 0 621 6 0 0 20 0 19 0 335000701 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121221634616 140121161796565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000702 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2339 0 0 0 18 0 0 0 20 0 19 0 335000706 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 1617 0 0 0 13 0 0 0 20 0 19 0 335000706 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 93101 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32533
/proc/meminfo: memFree=26593352/32873648 swapFree=7112/7112
################
# More data... #
################
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 451 0 0 0 212 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 459 0 0 0 204 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 415 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 49 0 0 0 2 2 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2671 0 0 0 29 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 7588 0 0 0 31 2 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 96 0 0 0 26 27 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32581] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32581/stat : 32581 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335036398 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121057944744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1675.93
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.20 2.10 2.04 3/213 32653
/proc/meminfo: memFree=25401548/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=1735.93 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 18625 0 1 0 173482 111 0 0 20 0 19 0 335000700 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 405668 2285 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=1717.76 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3422 0 1 0 171741 35 0 0 20 0 19 0 335000701 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121221636520 140121161594774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=2.25 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 481 0 0 0 213 12 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 420 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 430 0 0 0 208 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 439 0 0 0 206 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 414 0 0 0 193 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 451 0 0 0 212 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 459 0 0 0 204 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 415 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 49 0 0 0 2 2 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2671 0 0 0 29 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 7588 0 0 0 31 2 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 100 0 0 0 27 27 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32581] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32581/stat : 32581 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335036398 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121057944744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1735.93
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/213 32654
/proc/meminfo: memFree=25401428/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=1795.93 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 18629 0 1 0 179481 112 0 0 20 0 19 0 335000700 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 405668 2285 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=1777.76 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3422 0 1 0 177740 36 0 0 20 0 19 0 335000701 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121221636520 140121162048547 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=2.25 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 481 0 0 0 213 12 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 420 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 430 0 0 0 208 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 439 0 0 0 206 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 414 0 0 0 193 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 451 0 0 0 212 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 459 0 0 0 204 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 415 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 49 0 0 0 2 2 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2671 0 0 0 29 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 7588 0 0 0 31 2 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 104 0 0 0 28 27 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32581] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32581/stat : 32581 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335036398 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121057944744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1786.41 s]
/proc/loadavg: 2.07 2.08 2.03 3/213 32654
/proc/meminfo: memFree=25401304/32873648 swapFree=7112/7112
[pid=32501] ppid=32499 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/32501/stat : 32501 (java) S 32499 32501 29837 0 -1 4202496 18629 0 1 0 179892 112 0 0 20 0 19 0 335000700 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140736835667360 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32501/statm: 756105 405668 2285 9 0 746526 0
[pid=32501/tid=32503] ppid=32499 vsize=3024420 CPUtime=1781.87 cores=0,2,4,6
/proc/32501/task/32503/stat : 32503 (java) R 32499 32501 29837 0 -1 4202560 3422 0 1 0 178151 36 0 0 20 0 19 0 335000701 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121221636520 140121162048221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32504] ppid=32499 vsize=3024420 CPUtime=2.25 cores=0,2,4,6
/proc/32501/task/32504/stat : 32504 (java) S 32499 32501 29837 0 -1 4202560 481 0 0 0 213 12 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121087011240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32501/tid=32505] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32505/stat : 32505 (java) S 32499 32501 29837 0 -1 4202560 420 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121085958696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32506] ppid=32499 vsize=3024420 CPUtime=2.16 cores=0,2,4,6
/proc/32501/task/32506/stat : 32506 (java) S 32499 32501 29837 0 -1 4202560 430 0 0 0 208 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121084905640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32507] ppid=32499 vsize=3024420 CPUtime=2.14 cores=0,2,4,6
/proc/32501/task/32507/stat : 32507 (java) S 32499 32501 29837 0 -1 4202560 439 0 0 0 206 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121083853096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32508] ppid=32499 vsize=3024420 CPUtime=2.01 cores=0,2,4,6
/proc/32501/task/32508/stat : 32508 (java) S 32499 32501 29837 0 -1 4202560 414 0 0 0 193 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121082801064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32509] ppid=32499 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/32501/task/32509/stat : 32509 (java) S 32499 32501 29837 0 -1 4202560 451 0 0 0 212 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121081748520 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32510] ppid=32499 vsize=3024420 CPUtime=2.13 cores=0,2,4,6
/proc/32501/task/32510/stat : 32510 (java) S 32499 32501 29837 0 -1 4202560 459 0 0 0 204 9 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121080695464 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32511] ppid=32499 vsize=3024420 CPUtime=2.09 cores=0,2,4,6
/proc/32501/task/32511/stat : 32511 (java) S 32499 32501 29837 0 -1 4202560 415 0 0 0 201 8 0 0 20 0 19 0 335000702 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121079642920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32512] ppid=32499 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/32501/task/32512/stat : 32512 (java) S 32499 32501 29837 0 -1 4202560 49 0 0 0 2 2 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121067444584 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32513] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32513/stat : 32513 (java) S 32499 32501 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121066390904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32514] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32514/stat : 32514 (java) S 32499 32501 29837 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 335000703 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121065337736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32515] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32515/stat : 32515 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121064286480 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32516] ppid=32499 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/32501/task/32516/stat : 32516 (java) S 32499 32501 29837 0 -1 4202560 2671 0 0 0 29 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121063234360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32501/tid=32517] ppid=32499 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/32501/task/32517/stat : 32517 (java) S 32499 32501 29837 0 -1 4202560 7588 0 0 0 31 2 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121062181816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32518] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32518/stat : 32518 (java) S 32499 32501 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121061128952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32501/tid=32519] ppid=32499 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/32501/task/32519/stat : 32519 (java) S 32499 32501 29837 0 -1 4202560 104 0 0 0 28 27 0 0 20 0 19 0 335000706 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121060076616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32501/tid=32581] ppid=32499 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/32501/task/32581/stat : 32581 (java) S 32499 32501 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335036398 3097006080 405668 33554432000 1073741824 1073778376 140736835676224 140121057944744 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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
Child status: 143
Real time (s): 1786.48
CPU time (s): 1800.65
CPU user time (s): 1799.14
CPU system time (s): 1.51077
CPU usage (%): 100.793
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 1.51077
maximum resident set size= 1630984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18671
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40809
involuntary context switches= 27107
runsolver used 8.18176 second user time and 12.3421 second system time
The end