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-4249839-1500695676/watcher-4249839-1500695676 -o /tmp/evaluation-result-4249839-1500695676/solver-4249839-1500695676 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 19001337 HOME/instance-4249839-1500695676.xml
pid=10656
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.98 14.16 14.07 10/273 10659
/proc/meminfo: memFree=31576860/32770624 swapFree=5724/265976
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[startup+0.100128 s]
/proc/loadavg: 12.98 14.16 14.07 10/273 10659
/proc/meminfo: memFree=31576860/32770624 swapFree=5724/265976
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 12.98 14.16 14.07 10/273 10659
/proc/meminfo: memFree=31576860/32770624 swapFree=5724/265976
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300271 s]
/proc/loadavg: 12.98 14.16 14.07 10/273 10659
/proc/meminfo: memFree=31576860/32770624 swapFree=5724/265976
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700174 s]
/proc/loadavg: 12.98 14.16 14.07 10/273 10659
/proc/meminfo: memFree=31576860/32770624 swapFree=5724/265976
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 12.98 14.16 14.07 18/294 10680
/proc/meminfo: memFree=31245284/32770624 swapFree=5724/266008
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[pid=10660] ppid=10659 vsize=13801768 CPUtime=6.77 cores=0,2,4,6,8,10,12,14
/proc/10660/stat : 10660 (java) S 10659 10659 16473 0 -1 1077944320 17585 0 0 0 552 125 0 0 20 0 20 0 4836760 14133010432 104596 33554432000 4194304 4196468 140727269111568 140727269094112 139905839546103 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
/proc/10660/statm: 3450442 104596 3248 1 0 3437675 0
[pid=10660/tid=10661] ppid=10659 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10661/stat : 10661 (java) R 10659 10659 16473 0 -1 4202560 6536 0 0 0 91 5 0 0 20 0 20 0 4836760 14133010432 104596 33554432000 4194304 4196468 140727269111568 139905843786880 139905839558038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10663] ppid=10659 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10663/stat : 10663 (java) S 10659 10659 16473 0 -1 1077944384 105 0 0 0 7 14 0 0 20 0 20 0 4836761 14133010432 104596 33554432000 4194304 4196468 140727269111568 139905809259152 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10664] ppid=10659 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10664/stat : 10664 (java) S 10659 10659 16473 0 -1 1077944384 82 0 0 0 5 11 0 0 20 0 20 0 4836761 14133010432 104596 33554432000 4194304 4196468 140727269111568 139905438198288 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10665] ppid=10659 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10665/stat : 10665 (java) S 10659 10659 16473 0 -1 1077944384 105 0 0 0 7 15 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905437145488 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10666] ppid=10659 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10666/stat : 10666 (java) S 10659 10659 16473 0 -1 1077944384 119 0 0 0 7 16 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905436092688 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10667] ppid=10659 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10667/stat : 10667 (java) S 10659 10659 16473 0 -1 1077944384 111 0 0 0 8 15 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905435040912 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10668] ppid=10659 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10668/stat : 10668 (java) S 10659 10659 16473 0 -1 1077944384 112 0 0 0 9 14 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905433988112 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10669] ppid=10659 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10669/stat : 10669 (java) S 10659 10659 16473 0 -1 1077944384 95 0 0 0 6 13 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905432935312 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10670] ppid=10659 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10670/stat : 10670 (java) S 10659 10659 16473 0 -1 1077944384 110 0 0 0 9 13 0 0 20 0 21 0 4836761 14133010432 104603 33554432000 4194304 4196468 140727269111568 139905431882512 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10671] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10671/stat : 10671 (java) S 10659 10659 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 4836763 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904504334704 139905839557250 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10672] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 22 0 4836764 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 22 0 4836764 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10675] ppid=10659 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10675/stat : 10675 (java) R 10659 10659 16473 0 -1 4202560 1743 0 0 0 78 0 0 0 20 0 23 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904500105544 139905823042843 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10676] ppid=10659 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10676/stat : 10676 (java) R 10659 10659 16473 0 -1 4202560 1290 0 0 0 71 0 0 0 20 0 24 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904499060608 139905819202672 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10677] ppid=10659 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10677/stat : 10677 (java) R 10659 10659 16473 0 -1 4202560 2012 0 0 0 75 0 0 0 20 0 25 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904498005648 139905823046285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10678] ppid=10659 vsize=13801768 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10678/stat : 10678 (java) S 10659 10659 16473 0 -1 1077944384 3304 0 0 0 64 0 0 0 20 0 26 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904496966128 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10679] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10679/stat : 10679 (java) S 10659 10659 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 4836768 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904495913568 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10680] ppid=10659 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10680/stat : 10680 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 4836769 14133010432 104603 33554432000 4194304 4196468 140727269111568 139904494860848 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 13811280
[startup+3.10126 s]
/proc/loadavg: 13.54 14.26 14.10 18/302 10848
/proc/meminfo: memFree=31020132/32770624 swapFree=5724/266008
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[pid=10660] ppid=10659 vsize=13868332 CPUtime=17.85 cores=0,2,4,6,8,10,12,14
/proc/10660/stat : 10660 (java) S 10659 10659 16473 0 -1 1077944320 30153 0 0 0 1631 154 0 0 20 0 28 0 4836760 14201171968 147008 33554432000 4194304 4196468 140727269111568 140727269094112 139905839546103 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
/proc/10660/statm: 3467083 147008 3272 1 0 3454316 0
[pid=10660/tid=10661] ppid=10659 vsize=13868332 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10661/stat : 10661 (java) S 10659 10659 16473 0 -1 1077944384 6614 0 0 0 93 6 0 0 20 0 28 0 4836760 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905843786880 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10663] ppid=10659 vsize=13868332 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10663/stat : 10663 (java) S 10659 10659 16473 0 -1 1077944384 129 0 0 0 9 17 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905809259152 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10664] ppid=10659 vsize=13868332 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10664/stat : 10664 (java) S 10659 10659 16473 0 -1 1077944384 101 0 0 0 7 13 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905438198288 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10665] ppid=10659 vsize=13868332 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10665/stat : 10665 (java) S 10659 10659 16473 0 -1 1077944384 126 0 0 0 9 17 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905437145488 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10666] ppid=10659 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10666/stat : 10666 (java) S 10659 10659 16473 0 -1 1077944384 142 0 0 0 9 19 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905436092688 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10667] ppid=10659 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10667/stat : 10667 (java) S 10659 10659 16473 0 -1 1077944384 134 0 0 0 10 18 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905435040912 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10668] ppid=10659 vsize=13868332 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10668/stat : 10668 (java) S 10659 10659 16473 0 -1 1077944384 132 0 0 0 10 16 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905433988112 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10669] ppid=10659 vsize=13868332 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10669/stat : 10669 (java) S 10659 10659 16473 0 -1 1077944384 119 0 0 0 7 16 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905432935312 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10670] ppid=10659 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10670/stat : 10670 (java) S 10659 10659 16473 0 -1 1077944384 134 0 0 0 11 17 0 0 20 0 28 0 4836761 14201171968 147008 33554432000 4194304 4196468 140727269111568 139905431882512 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10671] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10671/stat : 10671 (java) S 10659 10659 16473 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 4836763 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904504334704 139905839557250 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10672] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10675] ppid=10659 vsize=13868332 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10675/stat : 10675 (java) S 10659 10659 16473 0 -1 1077944384 2933 0 0 0 195 1 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904500124528 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10676] ppid=10659 vsize=13868332 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10676/stat : 10676 (java) R 10659 10659 16473 0 -1 4202560 4010 0 0 0 191 0 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904499051264 139905821063629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10677] ppid=10659 vsize=13868332 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10677/stat : 10677 (java) R 10659 10659 16473 0 -1 4202560 4056 0 0 0 205 0 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904498005472 139905824468024 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10678] ppid=10659 vsize=13868332 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10678/stat : 10678 (java) S 10659 10659 16473 0 -1 1077944384 4341 0 0 0 93 1 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904496966128 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10679] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10679/stat : 10679 (java) S 10659 10659 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904495913568 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10680] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10680/stat : 10680 (java) S 10659 10659 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4836769 14201171968 147008 33554432000 4194304 4196468 140727269111568 139904494860848 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
Current children cumulated CPU time (s) 17.85
Current children cumulated vsize (KiB) 13877844
[startup+6.30112 s]
/proc/loadavg: 13.54 14.26 14.10 18/302 11088
/proc/meminfo: memFree=30939232/32770624 swapFree=5724/266020
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[pid=10660] ppid=10659 vsize=13868332 CPUtime=40.79 cores=0,2,4,6,8,10,12,14
/proc/10660/stat : 10660 (java) S 10659 10659 16473 0 -1 1077944320 41447 0 0 0 3900 179 0 0 20 0 28 0 4836760 14201171968 183546 33554432000 4194304 4196468 140727269111568 140727269094112 139905839546103 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
/proc/10660/statm: 3467083 183546 3288 1 0 3454316 0
[pid=10660/tid=10661] ppid=10659 vsize=13868332 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10661/stat : 10661 (java) S 10659 10659 16473 0 -1 1077944384 6750 0 0 0 94 7 0 0 20 0 28 0 4836760 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905843786880 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10663] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10663/stat : 10663 (java) S 10659 10659 16473 0 -1 1077944384 234 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905809259152 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10664] ppid=10659 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10664/stat : 10664 (java) S 10659 10659 16473 0 -1 1077944384 147 0 0 0 49 15 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905438198288 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10665] ppid=10659 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10665/stat : 10665 (java) S 10659 10659 16473 0 -1 1077944384 223 0 0 0 50 19 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905437145488 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10666] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10666/stat : 10666 (java) S 10659 10659 16473 0 -1 1077944384 179 0 0 0 51 21 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905436092688 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10667] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10667/stat : 10667 (java) S 10659 10659 16473 0 -1 1077944384 171 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905435040912 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10668] ppid=10659 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10668/stat : 10668 (java) S 10659 10659 16473 0 -1 1077944384 370 0 0 0 52 18 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905433988112 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10669] ppid=10659 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10669/stat : 10669 (java) S 10659 10659 16473 0 -1 1077944384 166 0 0 0 48 18 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905432935312 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10670] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10670/stat : 10670 (java) S 10659 10659 16473 0 -1 1077944384 229 0 0 0 53 19 0 0 20 0 28 0 4836761 14201171968 183546 33554432000 4194304 4196468 140727269111568 139905431882512 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10671] ppid=10659 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10671/stat : 10671 (java) S 10659 10659 16473 0 -1 1077944384 1376 0 0 0 2 1 0 0 20 0 28 0 4836763 14201171968 183546 33554432000 4194304 4196468 140727269111568 139904504334704 139905839557250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10672] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 183546 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 183546 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 183546 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
################
# More data... #
################
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10675] ppid=10659 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10675/stat : 10675 (java) R 10659 10659 16473 0 -1 4202560 4322 0 0 0 248 1 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904500124528 139905822752064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10676] ppid=10659 vsize=13868332 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10676/stat : 10676 (java) S 10659 10659 16473 0 -1 1077944384 5221 0 0 0 246 0 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904499071728 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10677] ppid=10659 vsize=13868332 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10677/stat : 10677 (java) S 10659 10659 16473 0 -1 1077944384 5324 0 0 0 261 1 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904498018928 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10678] ppid=10659 vsize=13868332 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10678/stat : 10678 (java) S 10659 10659 16473 0 -1 1077944384 5578 0 0 0 103 1 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904496966128 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10679] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10679/stat : 10679 (java) S 10659 10659 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904495913568 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10680] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10680/stat : 10680 (java) S 10659 10659 16473 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 4836769 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904494860848 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11129] ppid=10659 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11129/stat : 11129 (java) R 10659 10659 16473 0 -1 4202560 52 0 0 0 61 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904483691544 139905482761519 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11130] ppid=10659 vsize=13868332 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11130/stat : 11130 (java) R 10659 10659 16473 0 -1 4202560 44 0 0 0 61 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904482636200 139905482760818 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11131] ppid=10659 vsize=13868332 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11131/stat : 11131 (java) R 10659 10659 16473 0 -1 4202560 31 0 0 0 56 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904480533104 139905482761177 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11132] ppid=10659 vsize=13868332 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11132/stat : 11132 (java) R 10659 10659 16473 0 -1 4202560 32 0 0 0 59 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904486846632 139905485814291 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11133] ppid=10659 vsize=13868332 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11133/stat : 11133 (java) R 10659 10659 16473 0 -1 4202560 20 0 0 0 56 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904478432584 139905482760932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11134] ppid=10659 vsize=13868332 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11134/stat : 11134 (java) R 10659 10659 16473 0 -1 4202560 30 0 0 0 60 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904484748488 139905482761519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11135] ppid=10659 vsize=13868332 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11135/stat : 11135 (java) R 10659 10659 16473 0 -1 4202560 35 0 0 0 60 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904485794136 139905484253903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11136] ppid=10659 vsize=13868332 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11136/stat : 11136 (java) R 10659 10659 16473 0 -1 4202560 28 0 0 0 60 0 0 0 20 0 28 0 4837378 14201171968 183560 33554432000 4194304 4196468 140727269111568 139904481590216 139905482761519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
Current children cumulated CPU time (s) 44.77
Current children cumulated vsize (KiB) 13877844
[startup+7.00146 s]
/proc/loadavg: 13.54 14.26 14.10 18/302 11136
/proc/meminfo: memFree=30854080/32770624 swapFree=5724/266020
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[pid=10660] ppid=10659 vsize=13868332 CPUtime=46.38 cores=0,2,4,6,8,10,12,14
/proc/10660/stat : 10660 (java) S 10659 10659 16473 0 -1 1077944320 41614 0 0 0 4458 180 0 0 20 0 28 0 4836760 14201171968 184584 33554432000 4194304 4196468 140727269111568 140727269094112 139905839546103 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
/proc/10660/statm: 3467083 184584 3288 1 0 3454316 0
[pid=10660/tid=10661] ppid=10659 vsize=13868332 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10661/stat : 10661 (java) S 10659 10659 16473 0 -1 1077944384 6750 0 0 0 94 7 0 0 20 0 28 0 4836760 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905843786880 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10663] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10663/stat : 10663 (java) S 10659 10659 16473 0 -1 1077944384 234 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905809259152 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10664] ppid=10659 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10664/stat : 10664 (java) S 10659 10659 16473 0 -1 1077944384 147 0 0 0 49 15 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905438198288 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10665] ppid=10659 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10665/stat : 10665 (java) S 10659 10659 16473 0 -1 1077944384 223 0 0 0 50 19 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905437145488 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10666] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10666/stat : 10666 (java) S 10659 10659 16473 0 -1 1077944384 179 0 0 0 51 21 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905436092688 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10667] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10667/stat : 10667 (java) S 10659 10659 16473 0 -1 1077944384 171 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905435040912 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10668] ppid=10659 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10668/stat : 10668 (java) S 10659 10659 16473 0 -1 1077944384 370 0 0 0 52 18 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905433988112 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10669] ppid=10659 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10669/stat : 10669 (java) S 10659 10659 16473 0 -1 1077944384 166 0 0 0 48 18 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905432935312 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10670] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10670/stat : 10670 (java) S 10659 10659 16473 0 -1 1077944384 229 0 0 0 53 19 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905431882512 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10671] ppid=10659 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10671/stat : 10671 (java) S 10659 10659 16473 0 -1 1077944384 1376 0 0 0 2 1 0 0 20 0 28 0 4836763 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904504334704 139905839557250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10672] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10675] ppid=10659 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10675/stat : 10675 (java) S 10659 10659 16473 0 -1 1077944384 4322 0 0 0 248 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904500124528 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10676] ppid=10659 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10676/stat : 10676 (java) S 10659 10659 16473 0 -1 1077944384 5235 0 0 0 249 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904499071728 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10677] ppid=10659 vsize=13868332 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10677/stat : 10677 (java) S 10659 10659 16473 0 -1 1077944384 5324 0 0 0 261 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904498018928 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10678] ppid=10659 vsize=13868332 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10678/stat : 10678 (java) S 10659 10659 16473 0 -1 1077944384 5578 0 0 0 103 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904496966128 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10679] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10679/stat : 10679 (java) S 10659 10659 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904495913568 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10680] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10680/stat : 10680 (java) S 10659 10659 16473 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 4836769 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904494860848 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11129] ppid=10659 vsize=13868332 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11129/stat : 11129 (java) R 10659 10659 16473 0 -1 4202560 54 0 0 0 81 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904483691544 139905482760932 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11130] ppid=10659 vsize=13868332 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11130/stat : 11130 (java) R 10659 10659 16473 0 -1 4202560 44 0 0 0 81 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904482636200 139905484966945 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11131] ppid=10659 vsize=13868332 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11131/stat : 11131 (java) R 10659 10659 16473 0 -1 4202560 31 0 0 0 76 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904480531528 139905482761196 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11132] ppid=10659 vsize=13868332 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11132/stat : 11132 (java) R 10659 10659 16473 0 -1 4202560 34 0 0 0 78 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904486846632 139905482761192 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11133] ppid=10659 vsize=13868332 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11133/stat : 11133 (java) R 10659 10659 16473 0 -1 4202560 20 0 0 0 77 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904478432584 139905482778970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11134] ppid=10659 vsize=13868332 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11134/stat : 11134 (java) R 10659 10659 16473 0 -1 4202560 31 0 0 0 81 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904484748488 139905482761333 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11135] ppid=10659 vsize=13868332 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11135/stat : 11135 (java) R 10659 10659 16473 0 -1 4202560 37 0 0 0 77 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904485794136 139905482761196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11136] ppid=10659 vsize=13868332 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11136/stat : 11136 (java) R 10659 10659 16473 0 -1 4202560 28 0 0 0 79 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904481590216 139905482761196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
Current children cumulated CPU time (s) 46.38
Current children cumulated vsize (KiB) 13877844
[startup+7.10159 s]
/proc/loadavg: 13.54 14.26 14.10 18/302 11136
/proc/meminfo: memFree=30854080/32770624 swapFree=5724/266020
[pid=10659] ppid=10656 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10659/stat : 10659 (xcsp3-exec) S 10656 10659 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4836759 9740288 346 33554432000 4194304 5098028 140731289506480 140731289504584 140590041518716 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7802880 140731289515152 140731289515360 140731289515360 140731289518059 0
/proc/10659/statm: 2378 346 289 221 0 87 0
[pid=10660] ppid=10659 vsize=13868332 CPUtime=47.18 cores=0,2,4,6,8,10,12,14
/proc/10660/stat : 10660 (java) S 10659 10659 16473 0 -1 1077944320 41615 0 0 0 4538 180 0 0 20 0 28 0 4836760 14201171968 184584 33554432000 4194304 4196468 140727269111568 140727269094112 139905839546103 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
/proc/10660/statm: 3467083 184584 3288 1 0 3454316 0
[pid=10660/tid=10661] ppid=10659 vsize=13868332 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10661/stat : 10661 (java) S 10659 10659 16473 0 -1 1077944384 6750 0 0 0 94 7 0 0 20 0 28 0 4836760 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905843786880 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10663] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10663/stat : 10663 (java) S 10659 10659 16473 0 -1 1077944384 234 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905809259152 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10664] ppid=10659 vsize=13868332 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10664/stat : 10664 (java) S 10659 10659 16473 0 -1 1077944384 147 0 0 0 49 15 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905438198288 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10665] ppid=10659 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10665/stat : 10665 (java) S 10659 10659 16473 0 -1 1077944384 223 0 0 0 50 19 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905437145488 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10666] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10666/stat : 10666 (java) S 10659 10659 16473 0 -1 1077944384 179 0 0 0 51 21 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905436092688 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10667] ppid=10659 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10667/stat : 10667 (java) S 10659 10659 16473 0 -1 1077944384 171 0 0 0 51 20 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905435040912 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10668] ppid=10659 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10668/stat : 10668 (java) S 10659 10659 16473 0 -1 1077944384 370 0 0 0 52 18 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905433988112 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10669] ppid=10659 vsize=13868332 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10669/stat : 10669 (java) S 10659 10659 16473 0 -1 1077944384 166 0 0 0 48 18 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905432935312 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10670] ppid=10659 vsize=13868332 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10670/stat : 10670 (java) S 10659 10659 16473 0 -1 1077944384 229 0 0 0 53 19 0 0 20 0 28 0 4836761 14201171968 184584 33554432000 4194304 4196468 140727269111568 139905431882512 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10671] ppid=10659 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10671/stat : 10671 (java) S 10659 10659 16473 0 -1 1077944384 1376 0 0 0 2 1 0 0 20 0 28 0 4836763 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904504334704 139905839557250 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10672] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10672/stat : 10672 (java) S 10659 10659 16473 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904503280736 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10673] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10673/stat : 10673 (java) S 10659 10659 16473 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4836764 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904502227840 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10674] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10674/stat : 10674 (java) S 10659 10659 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904501176144 139905839564699 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10675] ppid=10659 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10675/stat : 10675 (java) S 10659 10659 16473 0 -1 1077944384 4322 0 0 0 248 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904500124528 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10676] ppid=10659 vsize=13868332 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10676/stat : 10676 (java) S 10659 10659 16473 0 -1 1077944384 5235 0 0 0 249 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904499071728 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10677] ppid=10659 vsize=13868332 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10677/stat : 10677 (java) S 10659 10659 16473 0 -1 1077944384 5324 0 0 0 261 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904498018928 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10678] ppid=10659 vsize=13868332 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10678/stat : 10678 (java) S 10659 10659 16473 0 -1 1077944384 5579 0 0 0 104 1 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904496966128 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10679] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10679/stat : 10679 (java) S 10659 10659 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4836768 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904495913568 139905839556309 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=10680] ppid=10659 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10660/task/10680/stat : 10680 (java) S 10659 10659 16473 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 4836769 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904494860848 139905839557250 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11129] ppid=10659 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11129/stat : 11129 (java) R 10659 10659 16473 0 -1 4202560 54 0 0 0 91 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904483691544 139905484966792 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11130] ppid=10659 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11130/stat : 11130 (java) R 10659 10659 16473 0 -1 4202560 44 0 0 0 91 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904482637224 139905485182481 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11131] ppid=10659 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11131/stat : 11131 (java) R 10659 10659 16473 0 -1 4202560 31 0 0 0 86 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904480533328 139905482761092 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11132] ppid=10659 vsize=13868332 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11132/stat : 11132 (java) R 10659 10659 16473 0 -1 4202560 34 0 0 0 88 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904486847640 139905485371584 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11133] ppid=10659 vsize=13868332 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11133/stat : 11133 (java) R 10659 10659 16473 0 -1 4202560 20 0 0 0 87 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904478432584 139905482761561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11134] ppid=10659 vsize=13868332 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11134/stat : 11134 (java) R 10659 10659 16473 0 -1 4202560 31 0 0 0 91 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904484748488 139905482778732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11135] ppid=10659 vsize=13868332 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11135/stat : 11135 (java) R 10659 10659 16473 0 -1 4202560 37 0 0 0 87 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904485794136 139905484966725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
[pid=10660/tid=11136] ppid=10659 vsize=13868332 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/10660/task/11136/stat : 11136 (java) R 10659 10659 16473 0 -1 4202560 28 0 0 0 89 0 0 0 20 0 28 0 4837378 14201171968 184584 33554432000 4194304 4196468 140727269111568 139904481590216 139905482761472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7884800 140727269115068 140727269115244 140727269115244 140727269117903 0
Current children cumulated CPU time (s) 47.18
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 7.17668
CPU time (s): 47.5251
CPU user time (s): 45.7126
CPU system time (s): 1.81249
CPU usage (%): 662.217
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.7126
system time used= 1.81249
maximum resident set size= 741300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42272
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= 8059
involuntary context switches= 4756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078899 second user time and 0.09838 second system time
The end