runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4090897-1466067951/watcher-4090897-1466067951 -o /tmp/evaluation-result-4090897-1466067951/solver-4090897-1466067951 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090897-1466067951.wbo
pid=18827
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.18 2.18 3/194 18830
/proc/meminfo: memFree=30400036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/18830/stat : 18830 (java) R 18827 18830 17726 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 8843793 3653632 49 33554432000 1073741824 1073778376 140735029953984 140735029951112 266426477863 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 892 49 38 9 0 30 0
[startup+0.10006 s]
/proc/loadavg: 2.12 2.18 2.18 3/194 18830
/proc/meminfo: memFree=30400036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 4468 0 1 0 9 1 0 0 20 0 18 0 8843793 9787879424 5586 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2389619 5586 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 2.12 2.18 2.18 3/194 18830
/proc/meminfo: memFree=30400036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 4810 0 1 0 24 1 0 0 20 0 18 0 8843793 9787879424 6393 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2389619 6393 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300236 s]
/proc/loadavg: 2.12 2.18 2.18 3/194 18830
/proc/meminfo: memFree=30400036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 6461 0 1 0 47 1 0 0 20 0 18 0 8843793 9787879424 8274 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2389619 8274 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.7002 s]
/proc/loadavg: 2.12 2.18 2.18 3/194 18830
/proc/meminfo: memFree=30400036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14234 0 1 0 165 2 0 0 20 0 19 0 8843793 9856040960 13252 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 13252 2269 9 0 2396937 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.12 2.18 2.18 3/213 18849
/proc/meminfo: memFree=30356336/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=2.51 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14254 0 1 0 249 2 0 0 20 0 19 0 8843793 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 15432 2272 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2478 0 1 0 146 0 0 0 20 0 19 0 8843794 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900299358512 139900239712719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 4515 0 0 0 48 0 0 0 20 0 19 0 8843799 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 5984 0 0 0 54 0 0 0 20 0 19 0 8843799 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 15432 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.12 2.18 2.18 3/213 18849
/proc/meminfo: memFree=30329216/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14272 0 1 0 412 3 0 0 20 0 19 0 8843793 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 21070 2272 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2492 0 1 0 304 2 0 0 20 0 19 0 8843794 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900299364744 139900239688000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 4516 0 0 0 49 0 0 0 20 0 19 0 8843799 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 5987 0 0 0 56 0 0 0 20 0 19 0 8843799 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 21070 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 9625040
[startup+6.30081 s]
/proc/loadavg: 2.19 2.20 2.18 4/213 18849
/proc/meminfo: memFree=30298036/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=7.55 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14921 0 1 0 751 4 0 0 20 0 19 0 8843793 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 29295 2278 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2512 0 1 0 622 2 0 0 20 0 19 0 8843794 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900299367016 139900239786383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 5121 0 0 0 60 1 0 0 20 0 19 0 8843799 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 6010 0 0 0 65 0 0 0 20 0 19 0 8843799 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 29295 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 5121 0 0 0 60 1 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 6016 0 0 0 70 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 46.91
Current children cumulated vsize (KiB) 9625040
[startup+46.0007 s]
/proc/loadavg: 2.24 2.20 2.18 3/213 18914
/proc/meminfo: memFree=30317100/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=47.31 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14985 0 1 0 4725 6 0 0 20 0 19 0 8843793 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 42120 2291 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=45.83 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2541 0 1 0 4580 3 0 0 20 0 19 0 8843794 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900299357936 139900239650690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 5121 0 0 0 60 1 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 6016 0 0 0 70 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.31
Current children cumulated vsize (KiB) 9625040
[startup+46.4008 s]
/proc/loadavg: 2.24 2.20 2.18 3/213 18914
/proc/meminfo: memFree=30313012/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=47.71 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14985 0 1 0 4765 6 0 0 20 0 19 0 8843793 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 42120 2291 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=46.23 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2541 0 1 0 4620 3 0 0 20 0 19 0 8843794 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900299357936 139900239650760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 5121 0 0 0 60 1 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 6016 0 0 0 70 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.71
Current children cumulated vsize (KiB) 9625040
[startup+46.5008 s]
/proc/loadavg: 2.24 2.20 2.18 3/213 18914
/proc/meminfo: memFree=30313012/32872528 swapFree=1430864/1543284
[pid=18830] ppid=18827 vsize=9625040 CPUtime=47.81 cores=1,3,5,7
/proc/18830/stat : 18830 (java) S 18827 18830 17726 0 -1 4202496 14985 0 1 0 4775 6 0 0 20 0 19 0 8843793 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 140735029945120 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18830/statm: 2406260 42120 2291 9 0 2396937 0
[pid=18830/tid=18832] ppid=18827 vsize=9625040 CPUtime=46.33 cores=1,3,5,7
/proc/18830/task/18832/stat : 18832 (java) R 18827 18830 17726 0 -1 4202560 2541 0 1 0 4630 3 0 0 20 0 19 0 8843794 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900299357936 139900239670360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18833] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18833/stat : 18833 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900143315240 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18834] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18834/stat : 18834 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900142262440 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18835] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18835/stat : 18835 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900141210152 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18836] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18836/stat : 18836 (java) S 18827 18830 17726 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900140157352 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18830/tid=18837] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18837/stat : 18837 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900139105064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18838] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18838/stat : 18838 (java) S 18827 18830 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900138052264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18839] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18839/stat : 18839 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900136999976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18830/tid=18840] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18840/stat : 18840 (java) S 18827 18830 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8843795 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900135947176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18841] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18841/stat : 18841 (java) S 18827 18830 17726 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 8843796 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900123535592 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18842] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18842/stat : 18842 (java) S 18827 18830 17726 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900122481656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18843] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18843/stat : 18843 (java) S 18827 18830 17726 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8843797 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900121429256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18844] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18844/stat : 18844 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900120377744 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18845] ppid=18827 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18830/task/18845/stat : 18845 (java) S 18827 18830 17726 0 -1 4202560 5121 0 0 0 60 1 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900119325368 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18846] ppid=18827 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/18830/task/18846/stat : 18846 (java) S 18827 18830 17726 0 -1 4202560 6016 0 0 0 70 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900118272568 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18847] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18847/stat : 18847 (java) S 18827 18830 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900117220472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18830/tid=18848] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18848/stat : 18848 (java) S 18827 18830 17726 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 8843799 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900116167880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18830/tid=18849] ppid=18827 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18830/task/18849/stat : 18849 (java) S 18827 18830 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8843827 9856040960 42120 33554432000 1073741824 1073778376 140735029953984 139900115112872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.81
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18830 and gives
# childrusage.ru_utime.tv_sec=47
# childrusage.ru_utime.tv_usec=715746
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70989
# CPU time returned by wait4() is 47.7867
# while last known CPU time is 47.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 46.5915
CPU time (s): 47.81
CPU user time (s): 47.75
CPU system time (s): 0.06
CPU usage (%): 102.615
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7157
system time used= 0.070989
maximum resident set size= 168532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15004
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1333
involuntary context switches= 184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.254961 second user time and 0.334949 second system time
The end