runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248470-1500691829/watcher-4248470-1500691829 -o /tmp/evaluation-result-4248470-1500691829/solver-4248470-1500691829 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 392976813 HOME/instance-4248470-1500691829.xml
pid=3151
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.32 10.49 12.20 3/263 3154
/proc/meminfo: memFree=26022468/32770624 swapFree=5880/289744
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
[startup+0.100069 s]
/proc/loadavg: 8.32 10.49 12.20 3/263 3154
/proc/meminfo: memFree=26022468/32770624 swapFree=5880/289744
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200276 s]
/proc/loadavg: 8.32 10.49 12.20 3/263 3154
/proc/meminfo: memFree=26022468/32770624 swapFree=5880/289744
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300276 s]
/proc/loadavg: 8.32 10.49 12.20 3/263 3154
/proc/meminfo: memFree=26022468/32770624 swapFree=5880/289744
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700236 s]
/proc/loadavg: 8.32 10.49 12.20 3/263 3154
/proc/meminfo: memFree=26022468/32770624 swapFree=5880/289744
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50164 s]
/proc/loadavg: 8.32 10.49 12.20 14/292 3183
/proc/meminfo: memFree=25918712/32770624 swapFree=5880/289780
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
[pid=3155] ppid=3154 vsize=13801768 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/3155/stat : 3155 (java) S 3154 3154 7744 0 -1 1077944320 15020 0 0 0 727 12 0 0 20 0 28 0 4450555 14133010432 50056 33554432000 4194304 4196468 140728898035392 140728898017936 139919045254903 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
/proc/3155/statm: 3450442 50056 3238 1 0 3437675 0
[pid=3155/tid=3156] ppid=3154 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3156/stat : 3156 (java) S 3154 3154 7744 0 -1 1077944384 6815 0 0 0 73 3 0 0 20 0 28 0 4450555 14133010432 50056 33554432000 4194304 4196468 140728898035392 139919049495680 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3158] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3158/stat : 3158 (java) S 3154 3154 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918963735312 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3159] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3159/stat : 3159 (java) S 3154 3154 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918962682768 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3160] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3160/stat : 3160 (java) S 3154 3154 7744 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918642768912 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3161] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3161/stat : 3161 (java) S 3154 3154 7744 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918641716368 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3162] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3162/stat : 3162 (java) S 3154 3154 7744 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918640662800 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3163] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3163/stat : 3163 (java) S 3154 3154 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918639610256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3164] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3164/stat : 3164 (java) S 3154 3154 7744 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918638557712 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3165] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3165/stat : 3165 (java) S 3154 3154 7744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918637505168 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3166] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3166/stat : 3166 (java) S 3154 3154 7744 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 4450559 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918239066608 139919045266050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3167] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3167/stat : 3167 (java) S 3154 3154 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450559 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918238012832 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3168] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3168/stat : 3168 (java) S 3154 3154 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4450560 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918236960240 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3169] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3169/stat : 3169 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918235908816 139919045273499 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3170] ppid=3154 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3170/stat : 3170 (java) R 3154 3154 7744 0 -1 4202560 1577 0 0 0 89 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918234841504 139919026772785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3171] ppid=3154 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3171/stat : 3171 (java) R 3154 3154 7744 0 -1 4202560 1220 0 0 0 91 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918233795352 139919022849680 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3172] ppid=3154 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3172/stat : 3172 (java) R 3154 3154 7744 0 -1 4202560 1397 0 0 0 85 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918232736200 139919026777369 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3173] ppid=3154 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3173/stat : 3173 (java) S 3154 3154 7744 0 -1 1077944384 2152 0 0 0 58 1 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918231697776 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3174] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3174/stat : 3174 (java) S 3154 3154 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918230645472 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3175] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3175/stat : 3175 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 50056 33554432000 4194304 4196468 140728898035392 139918229593008 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3176] ppid=3154 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3176/stat : 3176 (java) R 3154 3154 7744 0 -1 4202560 55 0 0 0 38 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139917759338040 139918648473303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3177] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3177/stat : 3177 (java) R 3154 3154 7744 0 -1 4202560 43 0 0 0 35 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139917758283792 139918648532321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3178] ppid=3154 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3178/stat : 3178 (java) R 3154 3154 7744 0 -1 4202560 53 0 0 0 42 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139917757231864 139918642891691 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3179] ppid=3154 vsize=13801768 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3179/stat : 3179 (java) R 3154 3154 7744 0 -1 4202560 69 0 0 0 46 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139917756179896 139918648373121 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3180] ppid=3154 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3180/stat : 3180 (java) R 3154 3154 7744 0 -1 4202560 43 0 0 0 41 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139917755125752 139918648372999 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3181] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3181/stat : 3181 (java) S 3154 3154 7744 0 -1 1077944384 34 0 0 0 35 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139916746935648 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3182] ppid=3154 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3182/stat : 3182 (java) R 3154 3154 7744 0 -1 4202560 55 0 0 0 45 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139916745883360 139919045266838 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3183] ppid=3154 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3183/stat : 3183 (java) R 3154 3154 7744 0 -1 4202560 38 0 0 0 38 0 0 0 20 0 28 0 4450634 14133010432 50056 33554432000 4194304 4196468 140728898035392 139916744830624 139918647466399 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 13811280
[startup+3.10163 s]
/proc/loadavg: 8.32 10.49 12.20 13/292 3183
/proc/meminfo: memFree=25816188/32770624 swapFree=5880/289784
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
[pid=3155] ppid=3154 vsize=13801768 CPUtime=20.08 cores=1,3,5,7,9,11,13,15
/proc/3155/stat : 3155 (java) S 3154 3154 7744 0 -1 1077944320 21235 0 0 0 1986 22 0 0 20 0 28 0 4450555 14133010432 91462 33554432000 4194304 4196468 140728898035392 140728898017936 139919045254903 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
/proc/3155/statm: 3450442 91462 3267 1 0 3437675 0
[pid=3155/tid=3156] ppid=3154 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3156/stat : 3156 (java) S 3154 3154 7744 0 -1 1077944384 6815 0 0 0 73 3 0 0 20 0 28 0 4450555 14133010432 91462 33554432000 4194304 4196468 140728898035392 139919049495680 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3158] ppid=3154 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3158/stat : 3158 (java) S 3154 3154 7744 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918963735312 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3159] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3159/stat : 3159 (java) S 3154 3154 7744 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918962682768 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3160] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3160/stat : 3160 (java) S 3154 3154 7744 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918642768912 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3161] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3161/stat : 3161 (java) S 3154 3154 7744 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918641716368 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3162] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3162/stat : 3162 (java) S 3154 3154 7744 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918640662800 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3163] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3163/stat : 3163 (java) S 3154 3154 7744 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918639610256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3164] ppid=3154 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3164/stat : 3164 (java) S 3154 3154 7744 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918638557712 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3165] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3165/stat : 3165 (java) S 3154 3154 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4450556 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918637505168 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3166] ppid=3154 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3166/stat : 3166 (java) S 3154 3154 7744 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 28 0 4450559 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918239066608 139919045266050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3167] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3167/stat : 3167 (java) S 3154 3154 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450559 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918238012896 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3168] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3168/stat : 3168 (java) S 3154 3154 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4450560 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918236960256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3169] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3169/stat : 3169 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918235908816 139919045273499 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3170] ppid=3154 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3170/stat : 3170 (java) R 3154 3154 7744 0 -1 4202560 3339 0 0 0 208 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918234855704 139919026799008 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3171] ppid=3154 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3171/stat : 3171 (java) R 3154 3154 7744 0 -1 4202560 2740 0 0 0 206 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918233802864 139919038239945 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3172] ppid=3154 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3172/stat : 3172 (java) R 3154 3154 7744 0 -1 1077944384 3587 0 0 0 189 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918232750320 139919045266050 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3173] ppid=3154 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3173/stat : 3173 (java) S 3154 3154 7744 0 -1 1077944384 2513 0 0 0 73 1 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918231697776 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3174] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3174/stat : 3174 (java) S 3154 3154 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918230645472 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3175] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3175/stat : 3175 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 91462 33554432000 4194304 4196468 140728898035392 139918229593008 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3176] ppid=3154 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3176/stat : 3176 (java) R 3154 3154 7744 0 -1 4202560 72 0 0 0 146 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139917759336256 139918648921985 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3177] ppid=3154 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3177/stat : 3177 (java) R 3154 3154 7744 0 -1 4202560 56 0 0 0 155 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139917758284792 139918648503027 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3178] ppid=3154 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3178/stat : 3178 (java) R 3154 3154 7744 0 -1 4202560 115 0 0 0 157 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139917757230512 139918643111798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3179] ppid=3154 vsize=13801768 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3179/stat : 3179 (java) R 3154 3154 7744 0 -1 4202560 96 0 0 0 155 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139917756178440 139919045266838 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3180] ppid=3154 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3180/stat : 3180 (java) R 3154 3154 7744 0 -1 4202560 54 0 0 0 169 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139917755125856 139918648614134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3181] ppid=3154 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3181/stat : 3181 (java) R 3154 3154 7744 0 -1 4202560 50 0 0 0 136 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139916746935952 139918648921990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3182] ppid=3154 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3182/stat : 3182 (java) R 3154 3154 7744 0 -1 4202560 70 0 0 0 150 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139916745884184 139918647465891 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3183] ppid=3154 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3183/stat : 3183 (java) R 3154 3154 7744 0 -1 4202560 54 0 0 0 152 0 0 0 20 0 28 0 4450634 14133010432 91462 33554432000 4194304 4196468 140728898035392 139916744831888 139918643910472 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
Current children cumulated CPU time (s) 20.08
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 8.29 10.44 12.18 10/292 3183
/proc/meminfo: memFree=25475040/32770624 swapFree=5880/289792
################
# More data... #
################
[pid=3155/tid=3182] ppid=3154 vsize=13801768 CPUtime=218.66 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3182/stat : 3182 (java) R 3154 3154 7744 0 -1 4202560 1460 0 0 0 21863 3 0 0 20 0 28 0 4450634 14133010432 516613 33554432000 4194304 4196468 140728898035392 139916745883400 139918648502777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3183] ppid=3154 vsize=13801768 CPUtime=218.92 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3183/stat : 3183 (java) R 3154 3154 7744 0 -1 4202560 1520 0 0 0 21890 2 0 0 20 0 28 0 4450634 14133010432 516613 33554432000 4194304 4196468 140728898035392 139916744830936 139918648502647 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
Current children cumulated CPU time (s) 1764.45
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.00 13.46 12.96 17/299 3196
/proc/meminfo: memFree=22782308/32770624 swapFree=5880/290108
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
[pid=3155] ppid=3154 vsize=13801768 CPUtime=2241 cores=1,3,5,7,9,11,13,15
/proc/3155/stat : 3155 (java) S 3154 3154 7744 0 -1 1077944320 60105 0 0 0 223927 173 0 0 20 0 28 0 4450555 14133010432 500295 33554432000 4194304 4196468 140728898035392 140728898017936 139919045254903 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
/proc/3155/statm: 3450442 500295 3280 1 0 3437675 0
[pid=3155/tid=3156] ppid=3154 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3156/stat : 3156 (java) S 3154 3154 7744 0 -1 1077944384 6815 0 0 0 73 3 0 0 20 0 28 0 4450555 14133010432 500295 33554432000 4194304 4196468 140728898035392 139919049495680 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3158] ppid=3154 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3158/stat : 3158 (java) S 3154 3154 7744 0 -1 1077944384 1290 0 0 0 22 10 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918963735312 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3159] ppid=3154 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3159/stat : 3159 (java) S 3154 3154 7744 0 -1 1077944384 562 0 0 0 21 13 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918962682768 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3160] ppid=3154 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3160/stat : 3160 (java) S 3154 3154 7744 0 -1 1077944384 1200 0 0 0 20 11 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918642768912 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3161] ppid=3154 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3161/stat : 3161 (java) S 3154 3154 7744 0 -1 1077944384 1740 0 0 0 21 11 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918641716368 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3162] ppid=3154 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3162/stat : 3162 (java) S 3154 3154 7744 0 -1 1077944384 948 0 0 0 20 11 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918640662800 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3163] ppid=3154 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3163/stat : 3163 (java) S 3154 3154 7744 0 -1 1077944384 675 0 0 0 21 11 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918639610256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3164] ppid=3154 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3164/stat : 3164 (java) S 3154 3154 7744 0 -1 1077944384 512 0 0 0 22 12 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918638557712 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3165] ppid=3154 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3165/stat : 3165 (java) S 3154 3154 7744 0 -1 1077944384 1115 0 0 0 22 10 0 0 20 0 28 0 4450556 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918637505168 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3166] ppid=3154 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3166/stat : 3166 (java) S 3154 3154 7744 0 -1 1077944384 3262 0 0 0 13 23 0 0 20 0 28 0 4450559 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918239066608 139919045266050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3167] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3167/stat : 3167 (java) S 3154 3154 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450559 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918238012896 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3168] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3168/stat : 3168 (java) S 3154 3154 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4450560 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918236960256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3169] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3169/stat : 3169 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918235908816 139919045273499 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3170] ppid=3154 vsize=13801768 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3170/stat : 3170 (java) S 3154 3154 7744 0 -1 1077944384 5130 0 0 0 293 1 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918234855408 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3171] ppid=3154 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3171/stat : 3171 (java) S 3154 3154 7744 0 -1 1077944384 5507 0 0 0 277 0 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918233802864 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3172] ppid=3154 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3172/stat : 3172 (java) S 3154 3154 7744 0 -1 1077944384 7070 0 0 0 255 1 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918232750320 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3173] ppid=3154 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3173/stat : 3173 (java) S 3154 3154 7744 0 -1 1077944384 3413 0 0 0 80 1 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918231697776 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3174] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3174/stat : 3174 (java) S 3154 3154 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918230645472 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3175] ppid=3154 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3175/stat : 3175 (java) S 3154 3154 7744 0 -1 1077944384 233 0 0 0 8 7 0 0 20 0 28 0 4450564 14133010432 500295 33554432000 4194304 4196468 140728898035392 139918229593008 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3176] ppid=3154 vsize=13801768 CPUtime=277.5 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3176/stat : 3176 (java) R 3154 3154 7744 0 -1 4202560 2473 0 0 0 27747 3 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139917759335672 139918650282480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3177] ppid=3154 vsize=13801768 CPUtime=277.62 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3177/stat : 3177 (java) R 3154 3154 7744 0 -1 4202560 1944 0 0 0 27759 3 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139917758284392 139918643112718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3178] ppid=3154 vsize=13801768 CPUtime=279.53 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3178/stat : 3178 (java) R 3154 3154 7744 0 -1 4202560 4392 0 0 0 27946 7 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139917757230208 139918650282457 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3179] ppid=3154 vsize=13801768 CPUtime=278.99 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3179/stat : 3179 (java) R 3154 3154 7744 0 -1 4202560 3891 0 0 0 27883 16 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139917756177896 139918649686623 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3180] ppid=3154 vsize=13801768 CPUtime=278.91 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3180/stat : 3180 (java) R 3154 3154 7744 0 -1 4202560 2201 0 0 0 27888 3 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139917755125368 139918650282229 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3181] ppid=3154 vsize=13801768 CPUtime=278.46 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3181/stat : 3181 (java) R 3154 3154 7744 0 -1 4202560 1068 0 0 0 27843 3 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139916746936936 139918648222943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3182] ppid=3154 vsize=13801768 CPUtime=278.34 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3182/stat : 3182 (java) R 3154 3154 7744 0 -1 4202560 1654 0 0 0 27831 3 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139916745883544 139918648269831 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3183] ppid=3154 vsize=13801768 CPUtime=278.49 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3183/stat : 3183 (java) R 3154 3154 7744 0 -1 4202560 1715 0 0 0 27847 2 0 0 20 0 28 0 4450634 14133010432 500295 33554432000 4194304 4196468 140728898035392 139916744833600 139918650282466 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
Current children cumulated CPU time (s) 2241
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.402 s]
/proc/loadavg: 16.13 13.66 13.04 17/299 3332
/proc/meminfo: memFree=29451460/32770624 swapFree=5880/290184
[pid=3154] ppid=3151 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3154/stat : 3154 (xcsp3-exec) S 3151 3154 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4450554 9740288 346 33554432000 4194304 5098028 140731121219632 140731121217736 139991807312508 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 39796736 140731121222799 140731121223008 140731121223008 140731121225707 0
/proc/3154/statm: 2378 346 289 221 0 87 0
[pid=3155] ppid=3154 vsize=13801768 CPUtime=2400.61 cores=1,3,5,7,9,11,13,15
/proc/3155/stat : 3155 (java) S 3154 3154 7744 0 -1 1077944320 61774 0 0 0 239877 184 0 0 20 0 28 0 4450555 14133010432 491425 33554432000 4194304 4196468 140728898035392 140728898017936 139919045254903 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
/proc/3155/statm: 3450442 491425 3280 1 0 3437675 0
[pid=3155/tid=3156] ppid=3154 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3156/stat : 3156 (java) S 3154 3154 7744 0 -1 1077944384 6815 0 0 0 73 3 0 0 20 0 28 0 4450555 14133010432 491425 33554432000 4194304 4196468 140728898035392 139919049495680 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3158] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3158/stat : 3158 (java) S 3154 3154 7744 0 -1 1077944384 1324 0 0 0 25 10 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918963735312 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3159] ppid=3154 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3159/stat : 3159 (java) S 3154 3154 7744 0 -1 1077944384 636 0 0 0 24 14 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918962682768 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3160] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3160/stat : 3160 (java) S 3154 3154 7744 0 -1 1077944384 1237 0 0 0 23 12 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918642768912 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3161] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3161/stat : 3161 (java) S 3154 3154 7744 0 -1 1077944384 1782 0 0 0 24 11 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918641716368 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3162] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3162/stat : 3162 (java) S 3154 3154 7744 0 -1 1077944384 1111 0 0 0 24 11 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918640662800 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3163] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3163/stat : 3163 (java) S 3154 3154 7744 0 -1 1077944384 758 0 0 0 24 11 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918639610256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3164] ppid=3154 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3164/stat : 3164 (java) S 3154 3154 7744 0 -1 1077944384 823 0 0 0 24 12 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918638557712 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3165] ppid=3154 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3165/stat : 3165 (java) S 3154 3154 7744 0 -1 1077944384 1174 0 0 0 24 11 0 0 20 0 28 0 4450556 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918637505168 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3166] ppid=3154 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3166/stat : 3166 (java) S 3154 3154 7744 0 -1 1077944384 3564 0 0 0 16 27 0 0 20 0 28 0 4450559 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918239066608 139919045266050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3167] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3167/stat : 3167 (java) S 3154 3154 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450559 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918238012896 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3168] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3168/stat : 3168 (java) S 3154 3154 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4450560 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918236960256 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3169] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3169/stat : 3169 (java) S 3154 3154 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918235908816 139919045273499 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3170] ppid=3154 vsize=13801768 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3170/stat : 3170 (java) S 3154 3154 7744 0 -1 1077944384 5132 0 0 0 293 1 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918234855408 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3171] ppid=3154 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3171/stat : 3171 (java) S 3154 3154 7744 0 -1 1077944384 5510 0 0 0 277 0 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918233802864 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3172] ppid=3154 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3172/stat : 3172 (java) S 3154 3154 7744 0 -1 1077944384 7072 0 0 0 255 1 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918232750320 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3173] ppid=3154 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3173/stat : 3173 (java) S 3154 3154 7744 0 -1 1077944384 3415 0 0 0 80 1 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918231697776 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3174] ppid=3154 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3174/stat : 3174 (java) S 3154 3154 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918230645472 139919045265109 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3175] ppid=3154 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3175/stat : 3175 (java) S 3154 3154 7744 0 -1 1077944384 254 0 0 0 8 7 0 0 20 0 28 0 4450564 14133010432 491425 33554432000 4194304 4196468 140728898035392 139918229593008 139919045266050 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 6 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3176] ppid=3154 vsize=13801768 CPUtime=297.38 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3176/stat : 3176 (java) R 3154 3154 7744 0 -1 4202560 2527 0 0 0 29734 4 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139917759335432 139918650282202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3177] ppid=3154 vsize=13801768 CPUtime=297.44 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3177/stat : 3177 (java) R 3154 3154 7744 0 -1 4202560 2095 0 0 0 29741 3 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139917758283912 139918648221511 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3178] ppid=3154 vsize=13801768 CPUtime=299.4 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3178/stat : 3178 (java) R 3154 3154 7744 0 -1 4202560 4412 0 0 0 29933 7 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139917757233040 139918650282195 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3179] ppid=3154 vsize=13801768 CPUtime=298.81 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3179/stat : 3179 (java) R 3154 3154 7744 0 -1 4202560 3910 0 0 0 29865 16 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139917756177664 139918650282024 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3180] ppid=3154 vsize=13801768 CPUtime=298.91 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3180/stat : 3180 (java) R 3154 3154 7744 0 -1 4202560 2237 0 0 0 29887 4 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139917755125368 139918650282215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3181] ppid=3154 vsize=13801768 CPUtime=298.42 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3181/stat : 3181 (java) R 3154 3154 7744 0 -1 4202560 1125 0 0 0 29838 4 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139916746936424 139918648270078 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3182] ppid=3154 vsize=13801768 CPUtime=298.3 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3182/stat : 3182 (java) R 3154 3154 7744 0 -1 4202560 1777 0 0 0 29827 3 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139916745883816 139918648221502 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
[pid=3155/tid=3183] ppid=3154 vsize=13801768 CPUtime=298.47 cores=1,3,5,7,9,11,13,15
/proc/3155/task/3183/stat : 3183 (java) R 3154 3154 7744 0 -1 4202560 1789 0 0 0 29845 2 0 0 20 0 28 0 4450634 14133010432 491425 33554432000 4194304 4196468 140728898035392 139916744831400 139918643111687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9940992 140728898036924 140728898037100 140728898037100 140728898039759 0
Current children cumulated CPU time (s) 2400.61
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3155 sig 9
??? kill 3154 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3154 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2331
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1314
# CPU time returned by wait4() is 0.003645
# while last known CPU time is 2400.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.412
CPU time (s): 2400.61
CPU user time (s): 2398.77
CPU system time (s): 1.84
CPU usage (%): 793.821
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002331
system time used= 0.001314
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09513 second user time and 4.26884 second system time
The end