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-4248580-1500692222/watcher-4248580-1500692222 -o /tmp/evaluation-result-4248580-1500692222/solver-4248580-1500692222 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 639317640 HOME/instance-4248580-1500692222.xml
pid=6330
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.30 15.38 14.30 9/270 6333
/proc/meminfo: memFree=30119668/32770624 swapFree=5892/124716
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[startup+0.100127 s]
/proc/loadavg: 15.30 15.38 14.30 9/270 6333
/proc/meminfo: memFree=30119668/32770624 swapFree=5892/124716
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200278 s]
/proc/loadavg: 15.30 15.38 14.30 9/270 6333
/proc/meminfo: memFree=30119668/32770624 swapFree=5892/124716
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3003 s]
/proc/loadavg: 15.30 15.38 14.30 9/270 6333
/proc/meminfo: memFree=30119668/32770624 swapFree=5892/124716
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700203 s]
/proc/loadavg: 15.30 15.38 14.30 9/270 6333
/proc/meminfo: memFree=30119668/32770624 swapFree=5892/124716
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50113 s]
/proc/loadavg: 15.30 15.38 14.30 13/291 6354
/proc/meminfo: memFree=29984624/32770624 swapFree=5892/124756
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[pid=6334] ppid=6333 vsize=13801768 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/6334/stat : 6334 (java) S 6333 6333 15667 0 -1 1077944320 22658 0 0 0 596 16 0 0 20 0 28 0 4491924 14133010432 54622 33554432000 4194304 4196468 140729073433216 140729073415760 140646826561271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
/proc/6334/statm: 3450442 54622 3254 1 0 3437675 0
[pid=6334/tid=6335] ppid=6333 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6335/stat : 6335 (java) S 6333 6333 15667 0 -1 1077944384 7309 0 0 0 113 5 0 0 20 0 28 0 4491925 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646830802048 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6337] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6337/stat : 6337 (java) S 6333 6333 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646758697360 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6338] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6338/stat : 6338 (java) S 6333 6333 15667 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646424742160 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6339] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6339/stat : 6339 (java) S 6333 6333 15667 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646423689872 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6340] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6340/stat : 6340 (java) S 6333 6333 15667 0 -1 1077944384 87 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646422637072 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6341] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6341/stat : 6341 (java) S 6333 6333 15667 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646421584784 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6342] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6342/stat : 6342 (java) S 6333 6333 15667 0 -1 1077944384 87 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646420531984 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6343] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6343/stat : 6343 (java) S 6333 6333 15667 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646419479696 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6344] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6344/stat : 6344 (java) S 6333 6333 15667 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646418426896 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6345] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6345/stat : 6345 (java) S 6333 6333 15667 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 4491928 14133010432 54622 33554432000 4194304 4196468 140729073433216 140646356019312 140646826572418 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6346] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6346/stat : 6346 (java) S 6333 6333 15667 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645557068576 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6347] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6347/stat : 6347 (java) S 6333 6333 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645556016240 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6348] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6348/stat : 6348 (java) S 6333 6333 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4491934 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645554964560 140646826579867 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6349] ppid=6333 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6349/stat : 6349 (java) R 6333 6333 15667 0 -1 4202560 3544 0 0 0 96 0 0 0 20 0 28 0 4491934 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645553898456 140646804029889 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6350] ppid=6333 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6350/stat : 6350 (java) R 6333 6333 15667 0 -1 4202560 2804 0 0 0 90 0 0 0 20 0 28 0 4491934 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645552846448 140646805807263 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6351] ppid=6333 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6351/stat : 6351 (java) R 6333 6333 15667 0 -1 4202560 3748 0 0 0 95 0 0 0 20 0 28 0 4491934 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645551799832 140646810092851 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6352] ppid=6333 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6352/stat : 6352 (java) S 6333 6333 15667 0 -1 1077944384 2859 0 0 0 69 1 0 0 20 0 28 0 4491934 14133010432 54622 33554432000 4194304 4196468 140729073433216 140645550754544 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6353] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6353/stat : 6353 (java) S 6333 6333 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4491935 14133010432 54622 33554432000 4194304 4196468 140729073433216 140644945226080 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6354] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6354/stat : 6354 (java) S 6333 6333 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4491936 14133010432 54622 33554432000 4194304 4196468 140729073433216 140644944173360 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 13811280
[startup+3.10164 s]
/proc/loadavg: 15.30 15.38 14.30 20/299 6362
/proc/meminfo: memFree=29909256/32770624 swapFree=5892/124756
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[pid=6334] ppid=6333 vsize=13801768 CPUtime=18.84 cores=0,2,4,6,8,10,12,14
/proc/6334/stat : 6334 (java) S 6333 6333 15667 0 -1 1077944320 26323 0 0 0 1866 18 0 0 20 0 28 0 4491924 14133010432 56496 33554432000 4194304 4196468 140729073433216 140729073415760 140646826561271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
/proc/6334/statm: 3450442 56496 3278 1 0 3437675 0
[pid=6334/tid=6335] ppid=6333 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6335/stat : 6335 (java) S 6333 6333 15667 0 -1 1077944384 7309 0 0 0 113 5 0 0 20 0 28 0 4491925 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646830802048 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6337] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6337/stat : 6337 (java) S 6333 6333 15667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646758697360 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6338] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6338/stat : 6338 (java) S 6333 6333 15667 0 -1 1077944384 128 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646424742160 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6339] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6339/stat : 6339 (java) S 6333 6333 15667 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646423689872 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6340] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6340/stat : 6340 (java) S 6333 6333 15667 0 -1 1077944384 87 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646422637072 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6341] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6341/stat : 6341 (java) S 6333 6333 15667 0 -1 1077944384 114 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646421584784 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6342] ppid=6333 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6342/stat : 6342 (java) S 6333 6333 15667 0 -1 1077944384 87 0 0 0 1 1 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646420531984 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6343] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6343/stat : 6343 (java) S 6333 6333 15667 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646419479696 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6344] ppid=6333 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6344/stat : 6344 (java) S 6333 6333 15667 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 28 0 4491926 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646418426896 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6345] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6345/stat : 6345 (java) S 6333 6333 15667 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 28 0 4491928 14133010432 56496 33554432000 4194304 4196468 140729073433216 140646356019312 140646826572418 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6346] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6346/stat : 6346 (java) S 6333 6333 15667 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645557068576 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6347] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6347/stat : 6347 (java) S 6333 6333 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645556016240 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6348] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6348/stat : 6348 (java) S 6333 6333 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4491934 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645554964560 140646826579867 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6349] ppid=6333 vsize=13801768 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6349/stat : 6349 (java) R 6333 6333 15667 0 -1 4202560 4575 0 0 0 210 1 0 0 20 0 28 0 4491934 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645553912432 140646807867176 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6350] ppid=6333 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6350/stat : 6350 (java) R 6333 6333 15667 0 -1 4202560 3646 0 0 0 185 0 0 0 20 0 28 0 4491934 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645552859928 140646809972287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6351] ppid=6333 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6351/stat : 6351 (java) R 6333 6333 15667 0 -1 4202560 4238 0 0 0 195 1 0 0 20 0 28 0 4491934 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645551807344 140646826582618 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6352] ppid=6333 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6352/stat : 6352 (java) S 6333 6333 15667 0 -1 1077944384 3644 0 0 0 95 2 0 0 20 0 28 0 4491934 14133010432 56496 33554432000 4194304 4196468 140729073433216 140645550754544 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6353] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6353/stat : 6353 (java) S 6333 6333 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4491935 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644945226080 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6354] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6354/stat : 6354 (java) S 6333 6333 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4491936 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644944173360 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6355] ppid=6333 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6355/stat : 6355 (java) R 6333 6333 15667 0 -1 4202560 164 0 0 0 129 0 0 0 20 0 28 0 4492048 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644936158424 140646445000591 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6356] ppid=6333 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6356/stat : 6356 (java) R 6333 6333 15667 0 -1 4202560 57 0 0 0 149 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644935106808 140646445000532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6357] ppid=6333 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6357/stat : 6357 (java) R 6333 6333 15667 0 -1 4202560 91 0 0 0 117 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644934054120 140646445000532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6358] ppid=6333 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6358/stat : 6358 (java) R 6333 6333 15667 0 -1 4202560 207 0 0 0 137 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644933001568 140646446493284 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6359] ppid=6333 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6359/stat : 6359 (java) R 6333 6333 15667 0 -1 4202560 114 0 0 0 135 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644931949720 140646445000813 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6360] ppid=6333 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6360/stat : 6360 (java) R 6333 6333 15667 0 -1 4202560 73 0 0 0 127 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644930898208 140646446112366 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6361] ppid=6333 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6361/stat : 6361 (java) R 6333 6333 15667 0 -1 4202560 43 0 0 0 133 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644929843360 140646445485829 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6362] ppid=6333 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6362/stat : 6362 (java) R 6333 6333 15667 0 -1 4202560 61 0 0 0 125 0 0 0 20 0 28 0 4492049 14133010432 56496 33554432000 4194304 4196468 140729073433216 140644928789720 140646445000886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (KiB) 13811280
[startup+6.30163 s]
/proc/loadavg: 15.12 15.34 14.29 18/299 6362
/proc/meminfo: memFree=29907808/32770624 swapFree=5892/124768
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[pid=6334] ppid=6333 vsize=13801768 CPUtime=44.26 cores=0,2,4,6,8,10,12,14
/proc/6334/stat : 6334 (java) S 6333 6333 15667 0 -1 1077944320 28855 0 0 0 4389 37 0 0 20 0 28 0 4491924 14133010432 63376 33554432000 4194304 4196468 140729073433216 140729073415760 140646826561271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
/proc/6334/statm: 3450442 63376 3284 1 0 3437675 0
[pid=6334/tid=6335] ppid=6333 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6335/stat : 6335 (java) S 6333 6333 15667 0 -1 1077944384 7309 0 0 0 113 5 0 0 20 0 28 0 4491925 14133010432 63376 33554432000 4194304 4196468 140729073433216 140646830802048 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6337] ppid=6333 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6337/stat : 6337 (java) S 6333 6333 15667 0 -1 1077944384 76 0 0 0 1 2 0 0 20 0 28 0 4491926 14133010432 63376 33554432000 4194304 4196468 140729073433216 140646758697360 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6338] ppid=6333 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6338/stat : 6338 (java) S 6333 6333 15667 0 -1 1077944384 261 0 0 0 2 2 0 0 20 0 28 0 4491926 14133010432 63376 33554432000 4194304 4196468 140729073433216 140646424742160 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6339] ppid=6333 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6339/stat : 6339 (java) S 6333 6333 15667 0 -1 1077944384 151 0 0 0 3 2 0 0 20 0 28 0 4491926 14133010432 63376 33554432000 4194304 4196468 140729073433216 140646423689872 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6340] ppid=6333 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6340/stat : 6340 (java) S 6333 6333 15667 0 -1 1077944384 171 0 0 0 2 3 0 0 20 0 28 0 4491926 14133010432 63376 33554432000 4194304 4196468 140729073433216 140646422637072 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
################
# More data... #
################
[pid=6334/tid=6361] ppid=6333 vsize=13801768 CPUtime=219.12 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6361/stat : 6361 (java) R 6333 6333 15667 0 -1 4202560 352 0 0 0 21912 0 0 0 20 0 28 0 4492049 14133010432 173367 33554432000 4194304 4196468 140729073433216 140644929843080 140646445000614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6362] ppid=6333 vsize=13801768 CPUtime=218.82 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6362/stat : 6362 (java) R 6333 6333 15667 0 -1 4202560 812 0 0 0 21881 1 0 0 20 0 28 0 4492049 14133010432 173367 33554432000 4194304 4196468 140729073433216 140644928790280 140646445573321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
Current children cumulated CPU time (s) 1764.12
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.86 15.56 14.65 17/302 6630
/proc/meminfo: memFree=30039664/32770624 swapFree=5892/125160
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[pid=6334] ppid=6333 vsize=13801768 CPUtime=2241.65 cores=0,2,4,6,8,10,12,14
/proc/6334/stat : 6334 (java) S 6333 6333 15667 0 -1 1077944320 64654 0 0 0 224020 145 0 0 20 0 28 0 4491924 14133010432 174495 33554432000 4194304 4196468 140729073433216 140729073415760 140646826561271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
/proc/6334/statm: 3450442 174495 3286 1 0 3437675 0
[pid=6334/tid=6335] ppid=6333 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6335/stat : 6335 (java) S 6333 6333 15667 0 -1 1077944384 7309 0 0 0 113 5 0 0 20 0 28 0 4491925 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646830802048 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6337] ppid=6333 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6337/stat : 6337 (java) S 6333 6333 15667 0 -1 1077944384 831 0 0 0 11 13 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646758697360 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6338] ppid=6333 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6338/stat : 6338 (java) S 6333 6333 15667 0 -1 1077944384 826 0 0 0 15 14 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646424742160 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6339] ppid=6333 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6339/stat : 6339 (java) S 6333 6333 15667 0 -1 1077944384 2014 0 0 0 14 13 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646423689872 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6340] ppid=6333 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6340/stat : 6340 (java) S 6333 6333 15667 0 -1 1077944384 938 0 0 0 14 13 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646422637072 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6341] ppid=6333 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6341/stat : 6341 (java) S 6333 6333 15667 0 -1 1077944384 1613 0 0 0 13 13 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646421584784 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6342] ppid=6333 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6342/stat : 6342 (java) S 6333 6333 15667 0 -1 1077944384 705 0 0 0 14 13 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646420531984 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6343] ppid=6333 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6343/stat : 6343 (java) S 6333 6333 15667 0 -1 1077944384 1525 0 0 0 13 14 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646419479696 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6344] ppid=6333 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6344/stat : 6344 (java) S 6333 6333 15667 0 -1 1077944384 800 0 0 0 14 14 0 0 20 0 28 0 4491926 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646418426896 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6345] ppid=6333 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6345/stat : 6345 (java) S 6333 6333 15667 0 -1 1077944384 2144 0 0 0 7 6 0 0 20 0 28 0 4491928 14133010432 174495 33554432000 4194304 4196468 140729073433216 140646356019312 140646826572418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6346] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6346/stat : 6346 (java) S 6333 6333 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645557068640 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6347] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6347/stat : 6347 (java) S 6333 6333 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645556016256 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6348] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6348/stat : 6348 (java) S 6333 6333 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4491934 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645554964560 140646826579867 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6349] ppid=6333 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6349/stat : 6349 (java) S 6333 6333 15667 0 -1 1077944384 10515 0 0 0 329 1 0 0 20 0 28 0 4491934 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645553912432 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6350] ppid=6333 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6350/stat : 6350 (java) S 6333 6333 15667 0 -1 1077944384 8385 0 0 0 271 1 0 0 20 0 28 0 4491934 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645552859632 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6351] ppid=6333 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6351/stat : 6351 (java) S 6333 6333 15667 0 -1 1077944384 8933 0 0 0 292 1 0 0 20 0 28 0 4491934 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645551807344 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 7 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6352] ppid=6333 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6352/stat : 6352 (java) S 6333 6333 15667 0 -1 1077944384 6784 0 0 0 109 2 0 0 20 0 28 0 4491934 14133010432 174495 33554432000 4194304 4196468 140729073433216 140645550754544 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6353] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6353/stat : 6353 (java) S 6333 6333 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4491935 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644945226080 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6354] ppid=6333 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6354/stat : 6354 (java) S 6333 6333 15667 0 -1 1077944384 428 0 0 0 6 5 0 0 20 0 28 0 4491936 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644944173360 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6355] ppid=6333 vsize=13801768 CPUtime=278.61 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6355/stat : 6355 (java) R 6333 6333 15667 0 -1 4202560 1125 0 0 0 27861 0 0 0 20 0 28 0 4492048 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644936158360 140646445000722 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6356] ppid=6333 vsize=13801768 CPUtime=277.69 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6356/stat : 6356 (java) R 6333 6333 15667 0 -1 4202560 719 0 0 0 27769 0 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644935106320 140646445000937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6357] ppid=6333 vsize=13801768 CPUtime=278.75 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6357/stat : 6357 (java) R 6333 6333 15667 0 -1 4202560 2724 0 0 0 27871 4 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644934056624 140646447569316 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6358] ppid=6333 vsize=13801768 CPUtime=278.64 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6358/stat : 6358 (java) R 6333 6333 15667 0 -1 4202560 2266 0 0 0 27860 4 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644933001480 140646446493799 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6359] ppid=6333 vsize=13801768 CPUtime=279.19 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6359/stat : 6359 (java) R 6333 6333 15667 0 -1 4202560 871 0 0 0 27919 0 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644931949192 140646445702208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6360] ppid=6333 vsize=13801768 CPUtime=277.6 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6360/stat : 6360 (java) R 6333 6333 15667 0 -1 4202560 647 0 0 0 27759 1 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644930896392 140646445745108 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6361] ppid=6333 vsize=13801768 CPUtime=278.94 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6361/stat : 6361 (java) R 6333 6333 15667 0 -1 4202560 369 0 0 0 27894 0 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644929843080 140646445000320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6362] ppid=6333 vsize=13801768 CPUtime=278.38 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6362/stat : 6362 (java) R 6333 6333 15667 0 -1 4202560 838 0 0 0 27837 1 0 0 20 0 28 0 4492049 14133010432 174495 33554432000 4194304 4196468 140729073433216 140644928790280 140646445311713 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
Current children cumulated CPU time (s) 2241.65
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 15.90 15.59 14.68 17/302 6630
/proc/meminfo: memFree=29950188/32770624 swapFree=5892/125176
[pid=6333] ppid=6330 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6333/stat : 6333 (xcsp3-exec) S 6330 6333 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4491924 9740288 346 33554432000 4194304 5098028 140737341838720 140737341836824 139914565067388 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 23744512 140737341846671 140737341846880 140737341846880 140737341849579 0
/proc/6333/statm: 2378 346 289 221 0 87 0
[pid=6334] ppid=6333 vsize=13801768 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/6334/stat : 6334 (java) S 6333 6333 15667 0 -1 1077944320 67513 0 0 0 239857 150 0 0 20 0 28 0 4491924 14133010432 175896 33554432000 4194304 4196468 140729073433216 140729073415760 140646826561271 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
/proc/6334/statm: 3450442 175896 3286 1 0 3437675 0
[pid=6334/tid=6335] ppid=6333 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6335/stat : 6335 (java) S 6333 6333 15667 0 -1 1077944384 7309 0 0 0 113 5 0 0 20 0 28 0 4491925 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646830802048 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6337] ppid=6333 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6337/stat : 6337 (java) S 6333 6333 15667 0 -1 1077944384 939 0 0 0 11 13 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646758697360 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6338] ppid=6333 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6338/stat : 6338 (java) S 6333 6333 15667 0 -1 1077944384 837 0 0 0 16 15 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646424742160 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6339] ppid=6333 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6339/stat : 6339 (java) S 6333 6333 15667 0 -1 1077944384 2026 0 0 0 15 13 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646423689872 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6340] ppid=6333 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6340/stat : 6340 (java) S 6333 6333 15667 0 -1 1077944384 1010 0 0 0 14 14 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646422637072 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6341] ppid=6333 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6341/stat : 6341 (java) S 6333 6333 15667 0 -1 1077944384 1621 0 0 0 14 13 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646421584784 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6342] ppid=6333 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6342/stat : 6342 (java) S 6333 6333 15667 0 -1 1077944384 713 0 0 0 15 13 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646420531984 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6343] ppid=6333 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6343/stat : 6343 (java) S 6333 6333 15667 0 -1 1077944384 1555 0 0 0 14 14 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646419479696 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6344] ppid=6333 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6344/stat : 6344 (java) S 6333 6333 15667 0 -1 1077944384 811 0 0 0 15 14 0 0 20 0 28 0 4491926 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646418426896 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6345] ppid=6333 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6345/stat : 6345 (java) S 6333 6333 15667 0 -1 1077944384 2377 0 0 0 8 7 0 0 20 0 28 0 4491928 14133010432 175896 33554432000 4194304 4196468 140729073433216 140646356019312 140646826572418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6346] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6346/stat : 6346 (java) S 6333 6333 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645557068640 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6347] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6347/stat : 6347 (java) S 6333 6333 15667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4491929 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645556016256 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6348] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6348/stat : 6348 (java) S 6333 6333 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4491934 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645554964560 140646826579867 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6349] ppid=6333 vsize=13801768 CPUtime=3.3 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6349/stat : 6349 (java) S 6333 6333 15667 0 -1 1077944384 10516 0 0 0 329 1 0 0 20 0 28 0 4491934 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645553912432 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6350] ppid=6333 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6350/stat : 6350 (java) S 6333 6333 15667 0 -1 1077944384 8386 0 0 0 271 1 0 0 20 0 28 0 4491934 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645552859632 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 8 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6351] ppid=6333 vsize=13801768 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6351/stat : 6351 (java) S 6333 6333 15667 0 -1 1077944384 10860 0 0 0 298 1 0 0 20 0 28 0 4491934 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645551807344 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 7 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6352] ppid=6333 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6352/stat : 6352 (java) S 6333 6333 15667 0 -1 1077944384 6789 0 0 0 109 3 0 0 20 0 28 0 4491934 14133010432 175896 33554432000 4194304 4196468 140729073433216 140645550754544 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6353] ppid=6333 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6353/stat : 6353 (java) S 6333 6333 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4491935 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644945226080 140646826571477 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6354] ppid=6333 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6354/stat : 6354 (java) S 6333 6333 15667 0 -1 1077944384 449 0 0 0 7 6 0 0 20 0 28 0 4491936 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644944173360 140646826572418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6355] ppid=6333 vsize=13801768 CPUtime=298.15 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6355/stat : 6355 (java) R 6333 6333 15667 0 -1 4202560 1148 0 0 0 29815 0 0 0 20 0 28 0 4492048 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644936161136 140646445001896 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6356] ppid=6333 vsize=13801768 CPUtime=297.51 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6356/stat : 6356 (java) R 6333 6333 15667 0 -1 4202560 778 0 0 0 29751 0 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644935106568 140646445000654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6357] ppid=6333 vsize=13801768 CPUtime=298.61 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6357/stat : 6357 (java) R 6333 6333 15667 0 -1 4202560 2781 0 0 0 29857 4 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644934054016 140646447569330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6358] ppid=6333 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6358/stat : 6358 (java) R 6333 6333 15667 0 -1 4202560 2347 0 0 0 29844 4 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644933001480 140646445486119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6359] ppid=6333 vsize=13801768 CPUtime=298.87 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6359/stat : 6359 (java) R 6333 6333 15667 0 -1 4202560 920 0 0 0 29887 0 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644931949192 140646445485702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6360] ppid=6333 vsize=13801768 CPUtime=297.42 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6360/stat : 6360 (java) R 6333 6333 15667 0 -1 4202560 714 0 0 0 29741 1 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644930896392 140646445001191 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6361] ppid=6333 vsize=13801768 CPUtime=298.8 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6361/stat : 6361 (java) R 6333 6333 15667 0 -1 4202560 381 0 0 0 29880 0 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644929843080 140646445486091 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
[pid=6334/tid=6362] ppid=6333 vsize=13801768 CPUtime=298.23 cores=0,2,4,6,8,10,12,14
/proc/6334/task/6362/stat : 6362 (java) R 6333 6333 15667 0 -1 4202560 901 0 0 0 29822 1 0 0 20 0 28 0 4492049 14133010432 175896 33554432000 4194304 4196468 140729073433216 140644928790280 140646445000900 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25255936 140729073439932 140729073440108 140729073440108 140729073442767 0
Current children cumulated CPU time (s) 2400.07
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 6334 sig 9
??? kill 6333 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 6333 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=977
# CPU time returned by wait4() is 0.002932
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.07
CPU user time (s): 2398.57
CPU system time (s): 1.5
CPU usage (%): 794.167
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001955
system time used= 0.000977
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 3.50668 second user time and 4.46642 second system time
The end