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-4246524-1500687573/watcher-4246524-1500687573 -o /tmp/evaluation-result-4246524-1500687573/solver-4246524-1500687573 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1124653042 HOME/instance-4246524-1500687573.xml
pid=4305
running on 8 cores: 0-3,8-11
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: 13.07 14.30 14.66 10/274 4308
/proc/meminfo: memFree=26717172/32770624 swapFree=5944/247188
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 13.07 14.30 14.66 10/274 4308
/proc/meminfo: memFree=26717172/32770624 swapFree=5944/247188
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 13.07 14.30 14.66 10/274 4308
/proc/meminfo: memFree=26717172/32770624 swapFree=5944/247188
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300222 s]
/proc/loadavg: 13.07 14.30 14.66 10/274 4308
/proc/meminfo: memFree=26717172/32770624 swapFree=5944/247188
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7002 s]
/proc/loadavg: 13.07 14.30 14.66 10/274 4308
/proc/meminfo: memFree=26717172/32770624 swapFree=5944/247188
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50156 s]
/proc/loadavg: 13.07 14.30 14.66 21/303 4337
/proc/meminfo: memFree=26529608/32770624 swapFree=5944/247260
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=7.56 cores=0-3,8-11
/proc/4309/stat : 4309 (java) S 4308 4308 18810 0 -1 1077944320 16632 0 0 0 744 12 0 0 20 0 28 0 4024500 14133010432 51098 33554432000 4194304 4196468 140732091305104 140732091287648 140360383258359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
/proc/4309/statm: 3450442 51098 3252 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 18810 0 -1 1077944384 6765 0 0 0 82 4 0 0 20 0 28 0 4024501 14133010432 51098 33554432000 4194304 4196468 140732091305104 140360387499136 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140360339810832 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140360338758288 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140360337705232 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359979694480 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359978642448 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359977589904 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359976536848 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359975484304 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4024504 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359845447920 140360383269506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359844394144 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359843341040 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359842289616 140360383276955 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=0.9 cores=0-3,8-11
/proc/4309/task/4324/stat : 4324 (java) R 4308 4308 18810 0 -1 4202560 1785 0 0 0 90 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359841224208 140360368180137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=0.91 cores=0-3,8-11
/proc/4309/task/4325/stat : 4325 (java) R 4308 4308 18810 0 -1 4202560 1903 0 0 0 91 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359840171744 140360366814773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=0.88 cores=0-3,8-11
/proc/4309/task/4326/stat : 4326 (java) R 4308 4308 18810 0 -1 4202560 1594 0 0 0 88 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359839117920 140360362478128 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=0.67 cores=0-3,8-11
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 18810 0 -1 1077944384 2774 0 0 0 67 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359838079600 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359837026784 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359835974320 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4330] ppid=4308 vsize=13801768 CPUtime=0.42 cores=0-3,8-11
/proc/4309/task/4330/stat : 4330 (java) R 4308 4308 18810 0 -1 4202560 55 0 0 0 42 0 0 0 20 0 28 0 4024589 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359827958968 140360023346641 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=0.36 cores=0-3,8-11
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 18810 0 -1 4202560 66 0 0 0 36 0 0 0 20 0 28 0 4024589 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359826908304 140360023345710 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 18810 0 -1 4202560 39 0 0 0 39 0 0 0 20 0 28 0 4024589 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359825855848 140360023346093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=0.41 cores=0-3,8-11
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 18810 0 -1 4202560 27 0 0 0 41 0 0 0 20 0 28 0 4024591 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359824804560 140360023144913 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 18810 0 -1 1077944384 35 0 0 0 37 0 0 0 20 0 28 0 4024591 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359823748672 140360383268565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 18810 0 -1 4202560 62 0 0 0 37 0 0 0 20 0 28 0 4024591 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359822696880 140360383279706 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 18810 0 -1 4202560 33 0 0 0 39 0 0 0 20 0 28 0 4024591 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359821645720 140360023345470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=0.45 cores=0-3,8-11
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 18810 0 -1 1077944384 28 0 0 0 45 0 0 0 20 0 28 0 4024591 14133010432 51098 33554432000 4194304 4196468 140732091305104 140359820591232 140360383268565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 13811280
[startup+3.10157 s]
/proc/loadavg: 13.07 14.30 14.66 18/303 4337
/proc/meminfo: memFree=26523212/32770624 swapFree=5944/247260
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=20.29 cores=0-3,8-11
/proc/4309/stat : 4309 (java) S 4308 4308 18810 0 -1 1077944320 17220 0 0 0 2016 13 0 0 20 0 28 0 4024500 14133010432 51726 33554432000 4194304 4196468 140732091305104 140732091287648 140360383258359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
/proc/4309/statm: 3450442 51726 3260 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 18810 0 -1 1077944384 6765 0 0 0 82 4 0 0 20 0 28 0 4024501 14133010432 51726 33554432000 4194304 4196468 140732091305104 140360387499136 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140360339810832 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140360338758288 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140360337705232 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359979694480 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359978642448 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359977589904 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359976536848 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359975484304 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4024504 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359845447920 140360383269506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359844394144 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359843341040 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359842289616 140360383276955 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=1.36 cores=0-3,8-11
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 18810 0 -1 1077944384 1836 0 0 0 136 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359841237744 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=1.44 cores=0-3,8-11
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 18810 0 -1 1077944384 2363 0 0 0 144 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359840185200 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=1.34 cores=0-3,8-11
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 18810 0 -1 1077944384 1620 0 0 0 134 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359839132144 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=0.71 cores=0-3,8-11
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 18810 0 -1 1077944384 2817 0 0 0 71 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359838079600 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359837026784 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359835974320 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4330] ppid=4308 vsize=13801768 CPUtime=1.84 cores=0-3,8-11
/proc/4309/task/4330/stat : 4330 (java) R 4308 4308 18810 0 -1 4202560 55 0 0 0 184 0 0 0 20 0 28 0 4024589 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359827960504 140360024337098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=1.63 cores=0-3,8-11
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 18810 0 -1 4202560 67 0 0 0 163 0 0 0 20 0 28 0 4024589 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359826907224 140360023345421 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=1.72 cores=0-3,8-11
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 18810 0 -1 4202560 40 0 0 0 172 0 0 0 20 0 28 0 4024589 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359825854824 140360023346229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=1.94 cores=0-3,8-11
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 18810 0 -1 4202560 28 0 0 0 194 0 0 0 20 0 28 0 4024591 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359824802280 140360023346015 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=1.79 cores=0-3,8-11
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 18810 0 -1 4202560 35 0 0 0 179 0 0 0 20 0 28 0 4024591 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359823749512 140360023470027 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=1.86 cores=0-3,8-11
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 18810 0 -1 4202560 63 0 0 0 186 0 0 0 20 0 28 0 4024591 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359822696680 140360024336814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=1.78 cores=0-3,8-11
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 18810 0 -1 4202560 35 0 0 0 178 0 0 0 20 0 28 0 4024591 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359821646072 140360023345630 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=1.82 cores=0-3,8-11
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 18810 0 -1 4202560 29 0 0 0 182 0 0 0 20 0 28 0 4024591 14133010432 51726 33554432000 4194304 4196468 140732091305104 140359820591080 140360023345348 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
Current children cumulated CPU time (s) 20.29
Current children cumulated vsize (KiB) 13811280
[startup+6.30155 s]
/proc/loadavg: 13.30 14.33 14.67 17/303 4337
/proc/meminfo: memFree=26522200/32770624 swapFree=5944/247260
################
# More data... #
################
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359844394144 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359843341040 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359842289616 140360383276955 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=1.42 cores=0-3,8-11
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 18810 0 -1 1077944384 2210 0 0 0 142 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359841237744 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=1.62 cores=0-3,8-11
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 18810 0 -1 1077944384 3509 0 0 0 161 1 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359840185200 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=1.47 cores=0-3,8-11
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 18810 0 -1 1077944384 3575 0 0 0 147 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359839132144 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=0.72 cores=0-3,8-11
/proc/4309/task/4327/stat : 4327 (java) R 4308 4308 18810 0 -1 4202560 2881 0 0 0 72 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359838079600 140360364821860 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359837026784 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 18810 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359835974320 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4330] ppid=4308 vsize=13801768 CPUtime=5.13 cores=0-3,8-11
/proc/4309/task/4330/stat : 4330 (java) R 4308 4308 18810 0 -1 4202560 104 0 0 0 513 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359827958360 140360023469439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=4.92 cores=0-3,8-11
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 18810 0 -1 4202560 179 0 0 0 492 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359826906584 140360383270294 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=4.94 cores=0-3,8-11
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 18810 0 -1 4202560 293 0 0 0 494 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359825856376 140360023345680 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=5.14 cores=0-3,8-11
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 18810 0 -1 4202560 95 0 0 0 514 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359824802376 140360023345383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=5.04 cores=0-3,8-11
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 18810 0 -1 4202560 137 0 0 0 504 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359823748976 140360024337030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=5.03 cores=0-3,8-11
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 18810 0 -1 4202560 332 0 0 0 503 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359822696776 140360023345889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=5.02 cores=0-3,8-11
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 18810 0 -1 4202560 130 0 0 0 502 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359821644040 140360023345490 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=4.98 cores=0-3,8-11
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 18810 0 -1 4202560 85 0 0 0 498 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359820591160 140360023346626 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
Current children cumulated CPU time (s) 46.48
Current children cumulated vsize (KiB) 13811280
[startup+7.20137 s]
/proc/loadavg: 13.30 14.33 14.67 17/303 4337
/proc/meminfo: memFree=26522172/32770624 swapFree=5944/247272
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=52.82 cores=0-3,8-11
/proc/4309/stat : 4309 (java) S 4308 4308 18810 0 -1 1077944320 22145 0 0 0 5267 15 0 0 20 0 28 0 4024500 14133010432 52174 33554432000 4194304 4196468 140732091305104 140732091287648 140360383258359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
/proc/4309/statm: 3450442 52174 3263 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 18810 0 -1 1077944384 6765 0 0 0 82 4 0 0 20 0 28 0 4024501 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360387499136 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360339810832 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360338758288 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360337705232 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359979694480 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359978642448 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359977589904 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359976536848 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359975484304 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 18810 0 -1 1077944384 137 0 0 0 0 1 0 0 20 0 28 0 4024504 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359845447920 140360383269506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359844394144 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359843341040 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359842289616 140360383276955 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=1.42 cores=0-3,8-11
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 18810 0 -1 1077944384 2210 0 0 0 142 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359841237744 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=1.62 cores=0-3,8-11
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 18810 0 -1 1077944384 3509 0 0 0 161 1 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359840185200 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=1.47 cores=0-3,8-11
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 18810 0 -1 1077944384 3575 0 0 0 147 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359839132144 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=0.72 cores=0-3,8-11
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 18810 0 -1 1077944384 2883 0 0 0 72 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359838079600 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359837026784 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 18810 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359835974320 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4330] ppid=4308 vsize=13801768 CPUtime=5.92 cores=0-3,8-11
/proc/4309/task/4330/stat : 4330 (java) R 4308 4308 18810 0 -1 4202560 104 0 0 0 592 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359827958360 140360023346151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=5.72 cores=0-3,8-11
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 18810 0 -1 4202560 181 0 0 0 572 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359826907240 140360023345697 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=5.71 cores=0-3,8-11
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 18810 0 -1 4202560 293 0 0 0 571 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359825854920 140360023345710 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=5.93 cores=0-3,8-11
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 18810 0 -1 4202560 95 0 0 0 593 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359824802376 140360023345822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=5.84 cores=0-3,8-11
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 18810 0 -1 4202560 137 0 0 0 584 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359823749320 140360023345296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=5.83 cores=0-3,8-11
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 18810 0 -1 4202560 339 0 0 0 583 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359822696528 140360023345355 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=5.81 cores=0-3,8-11
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 18810 0 -1 4202560 130 0 0 0 581 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359821644008 140360023345308 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=5.78 cores=0-3,8-11
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 18810 0 -1 4202560 88 0 0 0 578 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359820591176 140360023345688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
Current children cumulated CPU time (s) 52.82
Current children cumulated vsize (KiB) 13811280
[startup+7.60137 s]
/proc/loadavg: 13.30 14.33 14.67 17/303 4337
/proc/meminfo: memFree=26522172/32770624 swapFree=5944/247272
[pid=4308] ppid=4305 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/4308/stat : 4308 (xcsp3-exec) S 4305 4308 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4024500 9740288 345 33554432000 4194304 5098028 140725934443424 140725934441528 140289678242428 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8843264 140725934445710 140725934445920 140725934445920 140725934448619 0
/proc/4308/statm: 2378 345 289 221 0 87 0
[pid=4309] ppid=4308 vsize=13801768 CPUtime=56.02 cores=0-3,8-11
/proc/4309/stat : 4309 (java) S 4308 4308 18810 0 -1 1077944320 22154 0 0 0 5587 15 0 0 20 0 28 0 4024500 14133010432 52174 33554432000 4194304 4196468 140732091305104 140732091287648 140360383258359 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
/proc/4309/statm: 3450442 52174 3263 1 0 3437675 0
[pid=4309/tid=4310] ppid=4308 vsize=13801768 CPUtime=0.86 cores=0-3,8-11
/proc/4309/task/4310/stat : 4310 (java) S 4308 4308 18810 0 -1 1077944384 6765 0 0 0 82 4 0 0 20 0 28 0 4024501 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360387499136 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4312] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4312/stat : 4312 (java) S 4308 4308 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360339810832 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4313] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4313/stat : 4313 (java) S 4308 4308 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360338758288 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4314] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4314/stat : 4314 (java) S 4308 4308 18810 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140360337705232 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4315] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4315/stat : 4315 (java) S 4308 4308 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359979694480 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4316] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4316/stat : 4316 (java) S 4308 4308 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359978642448 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4317] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4317/stat : 4317 (java) S 4308 4308 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359977589904 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4318] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4318/stat : 4318 (java) S 4308 4308 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359976536848 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4319] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4319/stat : 4319 (java) S 4308 4308 18810 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4024502 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359975484304 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4320] ppid=4308 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/4309/task/4320/stat : 4320 (java) S 4308 4308 18810 0 -1 1077944384 137 0 0 0 0 1 0 0 20 0 28 0 4024504 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359845447920 140360383269506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4321] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4321/stat : 4321 (java) S 4308 4308 18810 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359844394144 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4322] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4322/stat : 4322 (java) S 4308 4308 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4024505 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359843341040 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4323] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4323/stat : 4323 (java) S 4308 4308 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359842289616 140360383276955 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4324] ppid=4308 vsize=13801768 CPUtime=1.42 cores=0-3,8-11
/proc/4309/task/4324/stat : 4324 (java) S 4308 4308 18810 0 -1 1077944384 2213 0 0 0 142 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359841237744 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4325] ppid=4308 vsize=13801768 CPUtime=1.62 cores=0-3,8-11
/proc/4309/task/4325/stat : 4325 (java) S 4308 4308 18810 0 -1 1077944384 3509 0 0 0 161 1 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359840185200 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4326] ppid=4308 vsize=13801768 CPUtime=1.47 cores=0-3,8-11
/proc/4309/task/4326/stat : 4326 (java) S 4308 4308 18810 0 -1 1077944384 3575 0 0 0 147 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359839132144 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4327] ppid=4308 vsize=13801768 CPUtime=0.72 cores=0-3,8-11
/proc/4309/task/4327/stat : 4327 (java) S 4308 4308 18810 0 -1 1077944384 2883 0 0 0 72 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359838079600 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4328] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4328/stat : 4328 (java) S 4308 4308 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359837026784 140360383268565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4329] ppid=4308 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/4309/task/4329/stat : 4329 (java) S 4308 4308 18810 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 28 0 4024509 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359835974320 140360383269506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4330] ppid=4308 vsize=13801768 CPUtime=6.32 cores=0-3,8-11
/proc/4309/task/4330/stat : 4330 (java) R 4308 4308 18810 0 -1 4202560 104 0 0 0 632 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359827958360 140360023345755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4331] ppid=4308 vsize=13801768 CPUtime=6.12 cores=0-3,8-11
/proc/4309/task/4331/stat : 4331 (java) R 4308 4308 18810 0 -1 4202560 183 0 0 0 612 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359826907240 140360023345697 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4332] ppid=4308 vsize=13801768 CPUtime=6.1 cores=0-3,8-11
/proc/4309/task/4332/stat : 4332 (java) R 4308 4308 18810 0 -1 4202560 295 0 0 0 610 0 0 0 20 0 28 0 4024589 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359825854920 140360024337311 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4333] ppid=4308 vsize=13801768 CPUtime=6.33 cores=0-3,8-11
/proc/4309/task/4333/stat : 4333 (java) R 4308 4308 18810 0 -1 4202560 95 0 0 0 633 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359824802376 140360024337183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4334] ppid=4308 vsize=13801768 CPUtime=6.24 cores=0-3,8-11
/proc/4309/task/4334/stat : 4334 (java) R 4308 4308 18810 0 -1 4202560 137 0 0 0 624 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359823749320 140360023545723 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4335] ppid=4308 vsize=13801768 CPUtime=6.23 cores=0-3,8-11
/proc/4309/task/4335/stat : 4335 (java) R 4308 4308 18810 0 -1 4202560 341 0 0 0 623 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359822697320 140360023345189 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4336] ppid=4308 vsize=13801768 CPUtime=6.21 cores=0-3,8-11
/proc/4309/task/4336/stat : 4336 (java) R 4308 4308 18810 0 -1 4202560 130 0 0 0 621 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359821644008 140360023346322 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
[pid=4309/tid=4337] ppid=4308 vsize=13801768 CPUtime=6.18 cores=0-3,8-11
/proc/4309/task/4337/stat : 4337 (java) R 4308 4308 18810 0 -1 4202560 88 0 0 0 618 0 0 0 20 0 28 0 4024591 14133010432 52174 33554432000 4194304 4196468 140732091305104 140359820591176 140360023345741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8527872 140732091307196 140732091307372 140732091307372 140732091310031 0
Current children cumulated CPU time (s) 56.02
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 7.68763
CPU time (s): 56.6686
CPU user time (s): 56.5079
CPU system time (s): 0.160685
CPU usage (%): 737.14
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.5079
system time used= 0.160685
maximum resident set size= 208812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3205
involuntary context switches= 3971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083852 second user time and 0.127412 second system time
The end