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-3731798-1338683313/watcher-3731798-1338683313 -o /tmp/evaluation-result-3731798-1338683313/solver-3731798-1338683313 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731798-1338683313.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.78 3.92 3.72 4/197 22116
/proc/meminfo: memFree=26795964/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22116/stat : 22116 (java) D 22114 22116 20030 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334457399 9515008 182 33554432000 1073741824 1073778376 140737124908304 140737124899336 251032059573 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/22116/statm: 2323 182 140 9 0 71 0
[startup+0.0765299 s]
/proc/loadavg: 3.78 3.92 3.72 4/197 22116
/proc/meminfo: memFree=26795964/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11253516 CPUtime=0.03 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 3757 0 1 0 2 1 0 0 20 0 13 0 334457399 11523600384 12119 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2813379 12119 1684 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516
[startup+0.100227 s]
/proc/loadavg: 3.78 3.92 3.72 4/197 22116
/proc/meminfo: memFree=26795964/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11586364 CPUtime=0.06 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 3897 0 1 0 4 2 0 0 20 0 18 0 334457399 11864436736 12770 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2896591 12770 1757 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586364
[startup+0.300179 s]
/proc/loadavg: 3.78 3.92 3.72 4/197 22116
/proc/meminfo: memFree=26795964/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11586392 CPUtime=0.4 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 5605 0 1 0 38 2 0 0 20 0 18 0 334457399 11864465408 15803 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2896598 15803 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 11586392
[startup+0.700206 s]
/proc/loadavg: 3.78 3.92 3.72 4/197 22116
/proc/meminfo: memFree=26795964/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 7586 0 1 0 64 4 0 0 20 0 19 0 334457399 12137111552 19002 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 19002 2249 9 0 2953849 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11852648
[startup+1.50068 s]
/proc/loadavg: 3.78 3.92 3.72 4/216 22141
/proc/meminfo: memFree=26721100/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 9127 0 1 0 146 7 0 0 20 0 22 0 334457399 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 22898 2259 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 2903 0 1 0 31 3 0 0 20 0 22 0 334457400 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.32 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) R 22114 22116 20030 0 -1 4202560 2519 0 0 0 32 0 0 0 20 0 22 0 334457409 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522735774648 140523396806333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) R 22114 22116 20030 0 -1 4202560 2362 0 0 0 35 0 0 0 20 0 22 0 334457409 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522734721848 140523400063980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22141] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22141/stat : 22141 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457487 12137111552 22898 33554432000 1073741824 1073778376 140733570603568 140522730063272 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 11852648
[startup+3.10075 s]
/proc/loadavg: 3.78 3.92 3.72 2/216 22144
/proc/meminfo: memFree=26691908/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=3.98 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 9213 0 1 0 387 11 0 0 20 0 19 0 334457399 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 35207 2261 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 2904 0 1 0 31 3 0 0 20 0 19 0 334457400 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334457405 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334457406 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334457406 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334457406 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457409 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 20030 0 -1 4202560 2541 0 0 0 41 0 0 0 20 0 19 0 334457409 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522735774648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.53 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 20030 0 -1 4202560 2374 0 0 0 53 0 0 0 20 0 19 0 334457409 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522734721848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457409 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334457409 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334457538 12137111552 35207 33554432000 1073741824 1073778376 140733570603568 140522729010216 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 11852648
[startup+6.30087 s]
/proc/loadavg: 3.88 3.94 3.73 4/216 22150
/proc/meminfo: memFree=26393724/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=9.9 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 10897 0 1 0 971 19 0 0 20 0 22 0 334457399 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 109562 2286 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 2906 0 1 0 32 3 0 0 20 0 22 0 334457400 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334457405 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 334457406 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 20030 0 -1 4202560 3996 0 0 0 63 0 0 0 20 0 22 0 334457409 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522735774648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 20030 0 -1 4202560 2376 0 0 0 66 0 0 0 20 0 22 0 334457409 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522734721848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457538 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522729010216 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22151] ppid=22114 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/22116/task/22151/stat : 22151 (java) R 22114 22116 20030 0 -1 4202560 2 0 0 0 88 0 0 0 20 0 22 0 334457939 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522731559552 140523227098271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22152] ppid=22114 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/22116/task/22152/stat : 22152 (java) R 22114 22116 20030 0 -1 4202560 20 0 0 0 88 0 0 0 20 0 22 0 334457939 12137111552 109562 33554432000 1073741824 1073778376 140733570603568 140522730060728 140523227193776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=22116/tid=22210] ppid=22114 vsize=11852648 CPUtime=212.15 cores=1,3,5,7
/proc/22116/task/22210/stat : 22210 (java) S 22114 22116 20030 0 -1 4202560 13 0 0 0 21212 3 0 0 20 0 22 0 334512209 12137111552 430309 33554432000 1073741824 1073778376 140733570603568 140522731561800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22211] ppid=22114 vsize=11852648 CPUtime=212.15 cores=1,3,5,7
/proc/22116/task/22211/stat : 22211 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 21212 3 0 0 20 0 22 0 334512209 12137111552 430309 33554432000 1073741824 1073778376 140733570603568 140522727955112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22212] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22212/stat : 22212 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334512209 12137111552 430309 33554432000 1073741824 1073778376 140733570603568 140522730063016 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1525.49
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.68 3.68 3.71 3/196 22219
/proc/meminfo: memFree=25943188/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=1632.72 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 17470 0 1 0 163143 129 0 0 20 0 22 0 334457399 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 433974 2288 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 3087 0 1 0 39 4 0 0 20 0 22 0 334457400 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=3.69 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 132 0 0 0 365 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=3.58 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 139 0 0 0 354 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=3.55 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 139 0 0 0 351 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=3.66 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 156 0 0 0 362 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=3.83 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 157 0 0 0 379 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=3.73 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 152 0 0 0 369 4 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=3.68 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 144 0 0 0 363 5 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=3.67 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 111 0 0 0 364 3 0 0 20 0 22 0 334457405 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=138.93 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 451 0 0 0 13873 20 0 0 20 0 22 0 334457406 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 20030 0 -1 4202560 7697 0 0 0 83 1 0 0 20 0 22 0 334457409 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522735774648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 20030 0 -1 4202560 3117 0 0 0 87 0 0 0 20 0 22 0 334457409 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522734721848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 50 0 0 0 18 23 0 0 20 0 22 0 334457409 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457538 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522729010216 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22210] ppid=22114 vsize=11852648 CPUtime=257.91 cores=1,3,5,7
/proc/22116/task/22210/stat : 22210 (java) R 22114 22116 20030 0 -1 4202560 14 0 0 0 25788 3 0 0 20 0 22 0 334512209 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522731561680 140523227187178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22211] ppid=22114 vsize=11852648 CPUtime=257.9 cores=1,3,5,7
/proc/22116/task/22211/stat : 22211 (java) R 22114 22116 20030 0 -1 4202560 3 0 0 0 25787 3 0 0 20 0 22 0 334512209 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522727955112 140523227604085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22212] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22212/stat : 22212 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334512209 12137111552 433974 33554432000 1073741824 1073778376 140733570603568 140522730063016 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1632.72
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.66 3.67 3.71 5/219 22340
/proc/meminfo: memFree=24996088/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=1740.81 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 17553 0 1 0 173949 132 0 0 20 0 22 0 334457399 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 437103 2288 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 3097 0 1 0 39 4 0 0 20 0 22 0 334457400 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=3.93 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 136 0 0 0 389 4 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=3.83 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 149 0 0 0 378 5 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=3.75 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 147 0 0 0 371 4 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=3.94 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 169 0 0 0 390 4 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=4.16 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 164 0 0 0 412 4 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=3.95 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 157 0 0 0 391 4 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=3.87 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 147 0 0 0 382 5 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=3.91 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 118 0 0 0 388 3 0 0 20 0 22 0 334457405 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=151.73 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 461 0 0 0 15153 20 0 0 20 0 22 0 334457406 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 20030 0 -1 4202560 7697 0 0 0 83 1 0 0 20 0 22 0 334457409 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522735774648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 20030 0 -1 4202560 3117 0 0 0 87 0 0 0 20 0 22 0 334457409 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522734721848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 54 0 0 0 19 25 0 0 20 0 22 0 334457409 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457538 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522729010216 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22210] ppid=22114 vsize=11852648 CPUtime=304.58 cores=1,3,5,7
/proc/22116/task/22210/stat : 22210 (java) R 22114 22116 20030 0 -1 4202560 16 0 0 0 30454 4 0 0 20 0 22 0 334512209 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522731561680 140523227171999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22211] ppid=22114 vsize=11852648 CPUtime=304.56 cores=1,3,5,7
/proc/22116/task/22211/stat : 22211 (java) R 22114 22116 20030 0 -1 4202560 3 0 0 0 30452 4 0 0 20 0 22 0 334512209 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522727955200 140523227072559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22212] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22212/stat : 22212 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334512209 12137111552 437103 33554432000 1073741824 1073778376 140733570603568 140522730063016 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1740.81
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+976.001 s]
/proc/loadavg: 3.60 3.66 3.70 5/219 22343
/proc/meminfo: memFree=24952708/32873844 swapFree=7372/7372
[pid=22116] ppid=22114 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7
/proc/22116/stat : 22116 (java) S 22114 22116 20030 0 -1 4202496 17626 0 1 0 179881 133 0 0 20 0 22 0 334457399 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140733570594704 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22116/statm: 2963162 439719 2288 9 0 2953849 0
[pid=22116/tid=22118] ppid=22114 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/22116/task/22118/stat : 22118 (java) S 22114 22116 20030 0 -1 4202560 3104 0 1 0 39 4 0 0 20 0 22 0 334457400 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523392963736 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22119] ppid=22114 vsize=11852648 CPUtime=4.09 cores=1,3,5,7
/proc/22116/task/22119/stat : 22119 (java) S 22114 22116 20030 0 -1 4202560 146 0 0 0 405 4 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523347716648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22120] ppid=22114 vsize=11852648 CPUtime=3.99 cores=1,3,5,7
/proc/22116/task/22120/stat : 22120 (java) S 22114 22116 20030 0 -1 4202560 157 0 0 0 394 5 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523346663848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22121] ppid=22114 vsize=11852648 CPUtime=3.92 cores=1,3,5,7
/proc/22116/task/22121/stat : 22121 (java) S 22114 22116 20030 0 -1 4202560 153 0 0 0 388 4 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523345611048 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22122] ppid=22114 vsize=11852648 CPUtime=4.1 cores=1,3,5,7
/proc/22116/task/22122/stat : 22122 (java) S 22114 22116 20030 0 -1 4202560 172 0 0 0 406 4 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523226523816 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22123] ppid=22114 vsize=11852648 CPUtime=4.28 cores=1,3,5,7
/proc/22116/task/22123/stat : 22123 (java) S 22114 22116 20030 0 -1 4202560 173 0 0 0 424 4 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523225472040 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22116/tid=22124] ppid=22114 vsize=11852648 CPUtime=4.1 cores=1,3,5,7
/proc/22116/task/22124/stat : 22124 (java) S 22114 22116 20030 0 -1 4202560 163 0 0 0 406 4 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523224419240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22125] ppid=22114 vsize=11852648 CPUtime=4 cores=1,3,5,7
/proc/22116/task/22125/stat : 22125 (java) S 22114 22116 20030 0 -1 4202560 153 0 0 0 395 5 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523223366440 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22126] ppid=22114 vsize=11852648 CPUtime=4.06 cores=1,3,5,7
/proc/22116/task/22126/stat : 22126 (java) S 22114 22116 20030 0 -1 4202560 126 0 0 0 403 3 0 0 20 0 22 0 334457405 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140523222313640 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22127] ppid=22114 vsize=11852648 CPUtime=160.38 cores=1,3,5,7
/proc/22116/task/22127/stat : 22127 (java) S 22114 22116 20030 0 -1 4202560 468 0 0 0 16017 21 0 0 20 0 22 0 334457406 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522739984872 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22128] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22128/stat : 22128 (java) S 22114 22116 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522738930936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22129] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22129/stat : 22129 (java) S 22114 22116 20030 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334457406 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522737878024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22130] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22130/stat : 22130 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522736826512 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22131] ppid=22114 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/22116/task/22131/stat : 22131 (java) S 22114 22116 20030 0 -1 4202560 7697 0 0 0 83 1 0 0 20 0 22 0 334457409 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522735774648 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22116/tid=22132] ppid=22114 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/22116/task/22132/stat : 22132 (java) S 22114 22116 20030 0 -1 4202560 3117 0 0 0 87 0 0 0 20 0 22 0 334457409 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522734721848 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22133] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22133/stat : 22133 (java) S 22114 22116 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334457409 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522733669240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22134] ppid=22114 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/22116/task/22134/stat : 22134 (java) S 22114 22116 20030 0 -1 4202560 56 0 0 0 20 26 0 0 20 0 22 0 334457409 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522732616648 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22144] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22144/stat : 22144 (java) S 22114 22116 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334457538 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522729010216 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22210] ppid=22114 vsize=11852648 CPUtime=329.32 cores=1,3,5,7
/proc/22116/task/22210/stat : 22210 (java) R 22114 22116 20030 0 -1 4202560 17 0 0 0 32927 5 0 0 20 0 22 0 334512209 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522731561680 140523227216630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22116/tid=22211] ppid=22114 vsize=11852648 CPUtime=329.29 cores=1,3,5,7
/proc/22116/task/22211/stat : 22211 (java) R 22114 22116 20030 0 -1 4202560 3 0 0 0 32924 5 0 0 20 0 22 0 334512209 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522727955320 140523227180211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22116/tid=22212] ppid=22114 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/22116/task/22212/stat : 22212 (java) S 22114 22116 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334512209 12137111552 439719 33554432000 1073741824 1073778376 140733570603568 140522730063016 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 976.049
CPU time (s): 1800.55
CPU user time (s): 1798.88
CPU system time (s): 1.67075
CPU usage (%): 184.473
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.67075
maximum resident set size= 1758992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17658
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30609
involuntary context switches= 66860
runsolver used 3.84941 second user time and 9.74452 second system time
The end