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-3729429-1338678702/watcher-3729429-1338678702 -o /tmp/evaluation-result-3729429-1338678702/solver-3729429-1338678702 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3729429-1338678702.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.77 0.84 0.53 4/197 1114
/proc/meminfo: memFree=28685016/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (java) D 1112 1114 621 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 333995674 2560000 46 33554432000 1073741824 1073778376 140736390333696 140736390330824 260181159207 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 625 46 37 9 0 29 0
[startup+0.0117719 s]
/proc/loadavg: 2.77 0.84 0.53 4/197 1114
/proc/meminfo: memFree=28685016/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=152584 CPUtime=0 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 1449 0 1 0 0 0 0 0 20 0 2 0 333995674 156246016 1130 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 38146 1130 865 9 0 29255 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152584
[startup+0.100148 s]
/proc/loadavg: 2.77 0.84 0.53 4/197 1114
/proc/meminfo: memFree=28685016/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 5298 0 1 0 8 1 0 0 20 0 18 0 333995674 11864465408 13654 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2896598 13654 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300176 s]
/proc/loadavg: 2.77 0.84 0.53 4/197 1114
/proc/meminfo: memFree=28685016/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 8204 0 1 0 67 2 0 0 20 0 22 0 333995674 12137111552 17413 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 17413 2236 9 0 2953849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11852648
[startup+0.700199 s]
/proc/loadavg: 2.77 0.84 0.53 4/197 1114
/proc/meminfo: memFree=28685016/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11854120 CPUtime=2.24 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 16887 0 1 0 219 5 0 0 20 0 22 0 333995674 12138618880 46301 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963530 46301 2275 9 0 2954217 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 11854120
[startup+1.50075 s]
/proc/loadavg: 2.77 0.84 0.53 7/219 1136
/proc/meminfo: memFree=28478548/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=4.41 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21656 0 1 0 434 7 0 0 20 0 22 0 333995674 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 66958 2281 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 22 0 333995675 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 22 0 333995677 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 80 2 0 0 20 0 22 0 333995680 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 82 0 0 0 20 0 22 0 333995680 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1133] ppid=1112 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/1114/task/1133/stat : 1133 (java) R 1112 1114 621 0 -1 4202560 29 0 0 0 123 0 0 0 20 0 22 0 333995691 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559469335192 140559532968812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1134] ppid=1112 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/1114/task/1134/stat : 1134 (java) R 1112 1114 621 0 -1 4202560 143 0 0 0 120 2 0 0 20 0 22 0 333995691 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559468279888 140559533041457 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1136] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1136/stat : 1136 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 66958 33554432000 1073741824 1073778376 140736390333696 140559466178088 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 11852648
[startup+3.10074 s]
/proc/loadavg: 2.79 0.88 0.55 5/219 1136
/proc/meminfo: memFree=28422508/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=7.52 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21671 0 1 0 745 7 0 0 20 0 22 0 333995674 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 69524 2281 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 22 0 333995675 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 22 0 333995677 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 81 3 0 0 20 0 22 0 333995680 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 84 0 0 0 20 0 22 0 333995680 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1133] ppid=1112 vsize=11852648 CPUtime=2.73 cores=1,3,5,7
/proc/1114/task/1133/stat : 1133 (java) R 1112 1114 621 0 -1 4202560 33 0 0 0 273 0 0 0 20 0 22 0 333995691 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559469335232 140559532875632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1134] ppid=1112 vsize=11852648 CPUtime=2.7 cores=1,3,5,7
/proc/1114/task/1134/stat : 1134 (java) R 1112 1114 621 0 -1 4202560 146 0 0 0 268 2 0 0 20 0 22 0 333995691 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559468280432 140559533041393 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1136] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1136/stat : 1136 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 69524 33554432000 1073741824 1073778376 140736390333696 140559466178088 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+4.70082 s]
/proc/loadavg: 2.79 0.88 0.55 5/219 1136
/proc/meminfo: memFree=28327960/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=10.63 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21719 0 1 0 1054 9 0 0 20 0 22 0 333995674 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 90519 2281 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 22 0 333995675 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.24 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 36 0 0 0 24 0 0 0 20 0 22 0 333995677 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 81 3 0 0 20 0 22 0 333995680 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 84 0 0 0 20 0 22 0 333995680 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1133] ppid=1112 vsize=11852648 CPUtime=4.21 cores=1,3,5,7
/proc/1114/task/1133/stat : 1133 (java) R 1112 1114 621 0 -1 4202560 37 0 0 0 421 0 0 0 20 0 22 0 333995691 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559469335192 140559532875688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1134] ppid=1112 vsize=11852648 CPUtime=4.18 cores=1,3,5,7
/proc/1114/task/1134/stat : 1134 (java) R 1112 1114 621 0 -1 4202560 185 0 0 0 415 3 0 0 20 0 22 0 333995691 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559468280176 140559533048577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1136] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1136/stat : 1136 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 90519 33554432000 1073741824 1073778376 140736390333696 140559466178088 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 10.63
Current children cumulated vsize (KiB) 11852648
[startup+5.50743 s]
/proc/loadavg: 2.79 0.88 0.55 5/219 1136
/proc/meminfo: memFree=28322808/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=12.19 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21729 0 1 0 1210 9 0 0 20 0 22 0 333995674 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 91580 2281 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 22 0 333995675 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 333995676 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 39 0 0 0 30 0 0 0 20 0 22 0 333995677 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333995678 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 81 3 0 0 20 0 22 0 333995680 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 84 0 0 0 20 0 22 0 333995680 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333995680 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1133] ppid=1112 vsize=11852648 CPUtime=4.95 cores=1,3,5,7
/proc/1114/task/1133/stat : 1133 (java) R 1112 1114 621 0 -1 4202560 39 0 0 0 495 0 0 0 20 0 22 0 333995691 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559469335352 140559532968759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1134] ppid=1112 vsize=11852648 CPUtime=4.92 cores=1,3,5,7
/proc/1114/task/1134/stat : 1134 (java) R 1112 1114 621 0 -1 4202560 185 0 0 0 489 3 0 0 20 0 22 0 333995691 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559468280432 140559533041409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1136] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1136/stat : 1136 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333995691 12137111552 91580 33554432000 1073741824 1073778376 140736390333696 140559466178088 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 11852648
[startup+5.90073 s]
/proc/loadavg: 2.79 0.88 0.55 5/219 1136
/proc/meminfo: memFree=28322808/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=12.65 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21732 0 1 0 1254 11 0 0 20 0 19 0 333995674 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 92081 2282 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 19 0 333995675 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 40 0 0 0 33 0 0 0 20 0 19 0 333995677 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333995678 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333995678 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 81 3 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 84 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333995691 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11852648
[startup+6.10059 s]
/proc/loadavg: 2.79 0.88 0.55 5/219 1136
/proc/meminfo: memFree=28322808/32873648 swapFree=7116/7116
[pid=1114] ppid=1112 vsize=11852648 CPUtime=12.65 cores=1,3,5,7
/proc/1114/stat : 1114 (java) S 1112 1114 621 0 -1 4202496 21732 0 1 0 1254 11 0 0 20 0 19 0 333995674 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140736390324832 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1114/statm: 2963162 92081 2282 9 0 2953849 0
[pid=1114/tid=1116] ppid=1112 vsize=11852648 CPUtime=0.14 cores=1,3,5,7
/proc/1114/task/1116/stat : 1116 (java) S 1112 1114 621 0 -1 4202560 3377 0 1 0 13 1 0 0 20 0 19 0 333995675 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559660455064 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1117] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1117/stat : 1117 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559497325352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1118] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1118/stat : 1118 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559496272552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1119] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1119/stat : 1119 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559495220264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1120] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1120/stat : 1120 (java) S 1112 1114 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559494167464 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1121] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1121/stat : 1121 (java) S 1112 1114 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559493114152 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1122] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1122/stat : 1122 (java) S 1112 1114 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559492061352 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1123] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1123/stat : 1123 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559491009064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1114/tid=1124] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1124/stat : 1124 (java) S 1112 1114 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 333995676 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559489956264 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1125] ppid=1112 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/1114/task/1125/stat : 1125 (java) S 1112 1114 621 0 -1 4202560 40 0 0 0 33 0 0 0 20 0 19 0 333995677 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559477758696 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1114/tid=1126] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1126/stat : 1126 (java) S 1112 1114 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333995678 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559476704760 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1127] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1127/stat : 1127 (java) S 1112 1114 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333995678 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559475652360 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1128] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1128/stat : 1128 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559474600848 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1129] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1129/stat : 1129 (java) S 1112 1114 621 0 -1 4202560 10464 0 0 0 81 3 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559473547448 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1130] ppid=1112 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/1114/task/1130/stat : 1130 (java) S 1112 1114 621 0 -1 4202560 6370 0 0 0 84 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559472494648 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1131] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1131/stat : 1131 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559471442552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1114/tid=1132] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1132/stat : 1132 (java) S 1112 1114 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333995680 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559470389960 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1114/tid=1135] ppid=1112 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1114/task/1135/stat : 1135 (java) S 1112 1114 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333995691 12137111552 92081 33554432000 1073741824 1073778376 140736390333696 140559467230888 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 11852648
Child status: 10
Real time (s): 6.18933
CPU time (s): 12.6721
CPU user time (s): 12.4891
CPU system time (s): 0.182972
CPU usage (%): 204.741
Max. virtual memory (cumulated for all children) (KiB): 11854120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4891
system time used= 0.182972
maximum resident set size= 368372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21745
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 847
involuntary context switches= 330
runsolver used 0.011998 second user time and 0.075988 second system time
The end