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-4248914-1500693148/watcher-4248914-1500693148 -o /tmp/evaluation-result-4248914-1500693148/solver-4248914-1500693148 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1871447656 HOME/instance-4248914-1500693148.xml
pid=4571
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.77 11.08 12.41 5/271 4574
/proc/meminfo: memFree=28128836/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
[startup+0.100178 s]
/proc/loadavg: 9.77 11.08 12.41 5/271 4574
/proc/meminfo: memFree=28128836/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200356 s]
/proc/loadavg: 9.77 11.08 12.41 5/271 4574
/proc/meminfo: memFree=28128836/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30027 s]
/proc/loadavg: 9.77 11.08 12.41 5/271 4574
/proc/meminfo: memFree=28128836/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700261 s]
/proc/loadavg: 9.77 11.08 12.41 5/271 4574
/proc/meminfo: memFree=28128836/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50148 s]
/proc/loadavg: 9.77 11.08 12.41 13/300 4603
/proc/meminfo: memFree=28009832/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
[pid=4575] ppid=4574 vsize=13801768 CPUtime=7.04 cores=1,3,5,7,9,11,13,15
/proc/4575/stat : 4575 (java) S 4574 4574 7744 0 -1 1077944320 21608 0 0 0 695 9 0 0 20 0 28 0 4582482 14133010432 33284 33554432000 4194304 4196468 140729590868352 140729590850896 140062047616759 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
/proc/4575/statm: 3450442 33284 3214 1 0 3437675 0
[pid=4575/tid=4576] ppid=4574 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4576/stat : 4576 (java) S 4574 4574 7744 0 -1 1077944384 6905 0 0 0 89 3 0 0 20 0 28 0 4582483 14133010432 33284 33554432000 4194304 4196468 140729590868352 140062051857536 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4578] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4578/stat : 4578 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061979752720 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4579] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4579/stat : 4579 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061978700176 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4580] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4580/stat : 4580 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061977647632 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4581] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4581/stat : 4581 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061976595088 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4582] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4582/stat : 4582 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061975542544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4583] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4583/stat : 4583 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061974490000 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4584] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4584/stat : 4584 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061973437456 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4585] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4585/stat : 4585 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061972384912 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4586] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4586/stat : 4586 (java) S 4574 4574 7744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4582486 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061241468912 140062047627906 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4587] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4587/stat : 4587 (java) S 4574 4574 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4582487 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061240415136 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4588] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4588/stat : 4588 (java) S 4574 4574 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4582487 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061239362544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4589] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4589/stat : 4589 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061238311120 140062047635355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4590] ppid=4574 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4590/stat : 4590 (java) R 4574 4574 7744 0 -1 4202560 2390 0 0 0 98 0 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061237240128 140062033251494 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4591] ppid=4574 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4591/stat : 4591 (java) R 4574 4574 7744 0 -1 4202560 2408 0 0 0 75 1 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061236192720 140062025507840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4592] ppid=4574 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4592/stat : 4592 (java) R 4574 4574 7744 0 -1 4202560 4730 0 0 0 87 1 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061235146752 140062032004309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4593] ppid=4574 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4593/stat : 4593 (java) S 4574 4574 7744 0 -1 1077944384 3480 0 0 0 59 1 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061234101104 140062047627906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4594] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4594/stat : 4594 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4582491 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061165218016 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4595] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4595/stat : 4595 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582492 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061164165552 140062047627906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4596] ppid=4574 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4596/stat : 4596 (java) R 4574 4574 7744 0 -1 4202560 71 0 0 0 34 0 0 0 20 0 28 0 4582577 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061156651864 140061652053502 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4597] ppid=4574 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4597/stat : 4597 (java) R 4574 4574 7744 0 -1 4202560 47 0 0 0 30 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061155598520 140061651884810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4598] ppid=4574 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4598/stat : 4598 (java) R 4574 4574 7744 0 -1 4202560 44 0 0 0 28 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061154547784 140061651913984 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4599] ppid=4574 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4599/stat : 4599 (java) R 4574 4574 7744 0 -1 4202560 76 0 0 0 37 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061153493008 140061656442385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4600] ppid=4574 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4600/stat : 4600 (java) R 4574 4574 7744 0 -1 4202560 34 0 0 0 36 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061152441048 140061656633248 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4601] ppid=4574 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4601/stat : 4601 (java) R 4574 4574 7744 0 -1 4202560 42 0 0 0 50 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061151388224 140061651905366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4602] ppid=4574 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4602/stat : 4602 (java) R 4574 4574 7744 0 -1 4202560 37 0 0 0 29 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061150336632 140061656625869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4603] ppid=4574 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4603/stat : 4603 (java) R 4574 4574 7744 0 -1 4202560 32 0 0 0 37 0 0 0 20 0 28 0 4582578 14133010432 33284 33554432000 4194304 4196468 140729590868352 140061149283752 140061656644980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4575 sig 9
??? kill 4574 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60201 s]
/proc/loadavg: 9.77 11.08 12.41 13/300 4603
/proc/meminfo: memFree=28009832/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
[pid=4575] ppid=4574 vsize=13801768 CPUtime=7.84 cores=1,3,5,7,9,11,13,15
/proc/4575/stat : 4575 (java) S 4574 4574 7744 0 -1 1077944320 26427 0 0 0 775 9 0 0 20 0 28 0 4582482 14133010432 33850 33554432000 4194304 4196468 140729590868352 140729590850896 140062047616759 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
/proc/4575/statm: 3450442 33850 3220 1 0 3437675 0
[pid=4575/tid=4576] ppid=4574 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4576/stat : 4576 (java) S 4574 4574 7744 0 -1 1077944384 6905 0 0 0 89 3 0 0 20 0 28 0 4582483 14133010432 33850 33554432000 4194304 4196468 140729590868352 140062051857536 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4578] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4578/stat : 4578 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061979752720 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4579] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4579/stat : 4579 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061978700176 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4580] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4580/stat : 4580 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061977647632 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4581] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4581/stat : 4581 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061976595088 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4582] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4582/stat : 4582 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061975542544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4583] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4583/stat : 4583 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061974490000 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4584] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4584/stat : 4584 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061973437456 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4585] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4585/stat : 4585 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582484 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061972384912 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4586] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4586/stat : 4586 (java) S 4574 4574 7744 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4582486 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061241468912 140062047627906 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4587] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4587/stat : 4587 (java) S 4574 4574 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4582487 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061240415136 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4588] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4588/stat : 4588 (java) S 4574 4574 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4582487 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061239362544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4589] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4589/stat : 4589 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061238311120 140062047635355 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4590] ppid=4574 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4590/stat : 4590 (java) R 4574 4574 7744 0 -1 4202560 3740 0 0 0 108 0 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061237245600 140062026834492 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4591] ppid=4574 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4591/stat : 4591 (java) R 4574 4574 7744 0 -1 4202560 3855 0 0 0 83 1 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061236192072 140062029161360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4592] ppid=4574 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4592/stat : 4592 (java) R 4574 4574 7744 0 -1 4202560 6153 0 0 0 94 1 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061235138608 140062029138025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4593] ppid=4574 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4593/stat : 4593 (java) S 4574 4574 7744 0 -1 1077944384 3581 0 0 0 60 1 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061234101104 140062047627906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4594] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4594/stat : 4594 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4582491 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061165218016 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4595] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4595/stat : 4595 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4582492 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061164165552 140062047627906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4596] ppid=4574 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4596/stat : 4596 (java) R 4574 4574 7744 0 -1 4202560 142 0 0 0 41 0 0 0 20 0 28 0 4582577 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061156651864 140061656323839 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4597] ppid=4574 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4597/stat : 4597 (java) R 4574 4574 7744 0 -1 4202560 121 0 0 0 37 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061155598520 140061651795204 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4598] ppid=4574 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4598/stat : 4598 (java) R 4574 4574 7744 0 -1 4202560 120 0 0 0 36 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061154547656 140061652792785 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4599] ppid=4574 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4599/stat : 4599 (java) R 4574 4574 7744 0 -1 4202560 140 0 0 0 42 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061153493000 140061652900102 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4600] ppid=4574 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4600/stat : 4600 (java) R 4574 4574 7744 0 -1 4202560 116 0 0 0 43 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061152440648 140061656829635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4601] ppid=4574 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4601/stat : 4601 (java) R 4574 4574 7744 0 -1 4202560 103 0 0 0 60 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061151387776 140061651899074 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4602] ppid=4574 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4602/stat : 4602 (java) R 4574 4574 7744 0 -1 4202560 70 0 0 0 35 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061150329984 140061656347706 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4603] ppid=4574 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4603/stat : 4603 (java) R 4574 4574 7744 0 -1 4202560 67 0 0 0 42 0 0 0 20 0 28 0 4582578 14133010432 33850 33554432000 4194304 4196468 140729590868352 140061149278128 140061651914032 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 13811280
[startup+2.00152 s]
/proc/loadavg: 9.77 11.08 12.41 13/300 4603
/proc/meminfo: memFree=28009832/32770624 swapFree=5880/291632
[pid=4574] ppid=4571 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4574/stat : 4574 (xcsp3-exec) S 4571 4574 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4582482 9740288 346 33554432000 4194304 5098028 140726913278304 140726913276408 140660760138364 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 11358208 140726913287310 140726913287520 140726913287520 140726913290219 0
/proc/4574/statm: 2378 346 289 221 0 87 0
[pid=4575] ppid=4574 vsize=13801768 CPUtime=10.66 cores=1,3,5,7,9,11,13,15
/proc/4575/stat : 4575 (java) S 4574 4574 7744 0 -1 1077944320 29765 0 0 0 1057 9 0 0 20 0 19 0 4582482 14133010432 34623 33554432000 4194304 4196468 140729590868352 140729590850896 140062047616759 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
/proc/4575/statm: 3450442 34623 3228 1 0 3437675 0
[pid=4575/tid=4576] ppid=4574 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4576/stat : 4576 (java) D 4574 4574 7744 0 -1 4202560 7023 0 0 0 89 3 0 0 20 0 19 0 4582483 14133010432 34623 33554432000 4194304 4196468 140729590868352 140062051859768 140062040302391 0 0 0 16800975 18446744072100387973 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4578] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4578/stat : 4578 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061979752720 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4579] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4579/stat : 4579 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061978700176 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4580] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4580/stat : 4580 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061977647632 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4581] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4581/stat : 4581 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061976595088 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4582] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4582/stat : 4582 (java) S 4574 4574 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061975542544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4583] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4583/stat : 4583 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061974490000 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4584] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4584/stat : 4584 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061973437456 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4585] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4585/stat : 4585 (java) S 4574 4574 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 4582484 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061972384912 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4587] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4587/stat : 4587 (java) S 4574 4574 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 4582487 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061240415136 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4588] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4588/stat : 4588 (java) S 4574 4574 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 4582487 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061239362544 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4589] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4589/stat : 4589 (java) S 4574 4574 7744 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061238309888 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4590] ppid=4574 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4590/stat : 4590 (java) S 4574 4574 7744 0 -1 1077944384 4566 0 0 0 142 1 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061237243248 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4591] ppid=4574 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4591/stat : 4591 (java) S 4574 4574 7744 0 -1 1077944384 4861 0 0 0 104 1 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061236186592 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4592] ppid=4574 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4592/stat : 4592 (java) S 4574 4574 7744 0 -1 1077944384 6996 0 0 0 126 1 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061235138160 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4593] ppid=4574 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4593/stat : 4593 (java) S 4574 4574 7744 0 -1 1077944384 3938 0 0 0 63 1 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061234101104 140062047627906 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4594] ppid=4574 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4594/stat : 4594 (java) S 4574 4574 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4582491 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061165218016 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
[pid=4575/tid=4603] ppid=4574 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/4575/task/4603/stat : 4603 (java) S 4574 4574 7744 0 -1 1077944384 119 0 0 0 66 0 0 0 20 0 19 0 4582578 14133010432 34623 33554432000 4194304 4196468 140729590868352 140061149286768 140062047626965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140729590871228 140729590871404 140729590871404 140729590874063 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 2.06075
CPU time (s): 10.6775
CPU user time (s): 10.575
CPU system time (s): 0.102532
CPU usage (%): 518.138
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.575
system time used= 0.102532
maximum resident set size= 139056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2572
involuntary context switches= 1001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018194 second user time and 0.02777 second system time
The end