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-4249896-1500695987/watcher-4249896-1500695987 -o /tmp/evaluation-result-4249896-1500695987/solver-4249896-1500695987 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1133176743 HOME/instance-4249896-1500695987.xml
pid=19194
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.70 13.29 13.93 3/262 19197
/proc/meminfo: memFree=22173332/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 9.70 13.29 13.93 3/262 19197
/proc/meminfo: memFree=22173332/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20026 s]
/proc/loadavg: 9.70 13.29 13.93 3/262 19197
/proc/meminfo: memFree=22173332/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300286 s]
/proc/loadavg: 9.70 13.29 13.93 3/262 19197
/proc/meminfo: memFree=22173332/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700268 s]
/proc/loadavg: 9.70 13.29 13.93 3/262 19197
/proc/meminfo: memFree=22173332/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 9.70 13.29 13.93 4/283 19218
/proc/meminfo: memFree=21981592/32770624 swapFree=5656/335088
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13269256 CPUtime=4.26 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 15304 0 0 0 413 13 0 0 20 0 20 0 4866214 13587718144 51068 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3317314 51068 3224 1 0 3304547 0
[pid=19198/tid=19199] ppid=19197 vsize=13269256 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) R 19197 19197 7102 0 -1 4202560 6306 0 0 0 141 5 0 0 20 0 20 0 4866214 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513107175432 140512695116097 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) S 19197 19197 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513021417872 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) S 19197 19197 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513020365072 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) S 19197 19197 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513019312784 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) S 19197 19197 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513018259984 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) S 19197 19197 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513017207696 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) S 19197 19197 7102 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513016154896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) S 19197 19197 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513015102608 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) S 19197 19197 7102 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4866215 13587718144 51068 33554432000 4194304 4196468 140724273761184 140513014049808 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) S 19197 19197 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4866216 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512430794864 140513102948994 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512429740832 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512428688496 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19213] ppid=19197 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19213/stat : 19213 (java) S 19197 19197 7102 0 -1 1077944384 2105 0 0 0 74 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512426584688 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19214] ppid=19197 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19214/stat : 19214 (java) S 19197 19197 7102 0 -1 1077944384 1769 0 0 0 74 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512425531888 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19215] ppid=19197 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 1965 0 0 0 74 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512424479600 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 1665 0 0 0 43 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512423426800 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4866219 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4866220 13587718144 51068 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13278768
[startup+3.10081 s]
/proc/loadavg: 9.70 13.29 13.93 10/283 19218
/proc/meminfo: memFree=21595944/32770624 swapFree=5656/335092
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13269256 CPUtime=6.83 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 16045 0 0 0 611 72 0 0 20 0 20 0 4866214 13587718144 77969 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3317314 77969 3231 1 0 3304547 0
[pid=19198/tid=19199] ppid=19197 vsize=13269256 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) R 19197 19197 7102 0 -1 4202560 6373 0 0 0 289 5 0 0 20 0 20 0 4866214 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513107175624 140512695967470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) S 19197 19197 7102 0 -1 1077944384 61 0 0 0 3 7 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513021417872 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) S 19197 19197 7102 0 -1 1077944384 58 0 0 0 3 7 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513020365072 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) S 19197 19197 7102 0 -1 1077944384 84 0 0 0 4 8 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513019312784 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) S 19197 19197 7102 0 -1 1077944384 56 0 0 0 3 8 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513018259984 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) S 19197 19197 7102 0 -1 1077944384 58 0 0 0 3 7 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513017207696 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) S 19197 19197 7102 0 -1 1077944384 94 0 0 0 4 8 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513016154896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) S 19197 19197 7102 0 -1 1077944384 70 0 0 0 3 8 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513015102608 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) S 19197 19197 7102 0 -1 1077944384 61 0 0 0 4 7 0 0 20 0 20 0 4866215 13587718144 77969 33554432000 4194304 4196468 140724273761184 140513014049808 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) S 19197 19197 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4866216 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512430794864 140513102948994 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512429740896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512428688512 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19213] ppid=19197 vsize=13269256 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19213/stat : 19213 (java) S 19197 19197 7102 0 -1 1077944384 2126 0 0 0 82 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512426584688 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19214] ppid=19197 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19214/stat : 19214 (java) S 19197 19197 7102 0 -1 1077944384 1792 0 0 0 78 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512425531888 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19215] ppid=19197 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 1978 0 0 0 77 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512424479600 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 1853 0 0 0 49 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512423426800 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4866219 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4866220 13587718144 77969 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 13278768
[startup+6.30084 s]
/proc/loadavg: 9.25 13.13 13.88 3/259 19281
/proc/meminfo: memFree=31084896/32770624 swapFree=5656/335076
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13269256 CPUtime=14.72 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 25361 0 0 0 1254 218 0 0 20 0 20 0 4866214 13587718144 177735 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3317314 177735 3262 1 0 3304547 0
[pid=19198/tid=19199] ppid=19197 vsize=13269256 CPUtime=5.41 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) R 19197 19197 7102 0 -1 4202560 7420 0 0 0 534 7 0 0 20 0 20 0 4866214 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513107173160 140512695967454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) S 19197 19197 7102 0 -1 1077944384 389 0 0 0 50 26 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513021417872 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) S 19197 19197 7102 0 -1 1077944384 514 0 0 0 51 24 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513020365072 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) S 19197 19197 7102 0 -1 1077944384 517 0 0 0 51 26 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513019312784 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) S 19197 19197 7102 0 -1 1077944384 286 0 0 0 50 26 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513018259984 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13269256 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) S 19197 19197 7102 0 -1 1077944384 484 0 0 0 51 25 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513017207696 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) S 19197 19197 7102 0 -1 1077944384 436 0 0 0 51 26 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513016154896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) S 19197 19197 7102 0 -1 1077944384 334 0 0 0 50 25 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513015102608 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) S 19197 19197 7102 0 -1 1077944384 1013 0 0 0 53 25 0 0 20 0 20 0 4866215 13587718144 177735 33554432000 4194304 4196468 140724273761184 140513014049808 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) S 19197 19197 7102 0 -1 1077944384 2007 0 0 0 6 0 0 0 20 0 20 0 4866216 13587718144 177735 33554432000 4194304 4196468 140724273761184 140512430794864 140513102948994 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 177735 33554432000 4194304 4196468 140724273761184 140512429740896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4866217 13587718144 177735 33554432000 4194304 4196468 140724273761184 140512428688512 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4866219 13587718144 177735 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
################
# More data... #
################
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 4724 0 0 0 103 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512424479648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13335820 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 3554 0 0 0 56 1 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512423426848 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13335820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 586 0 0 0 8 8 0 0 20 0 21 0 4866220 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19427] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19427/stat : 19427 (java) S 19197 19197 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4900838 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512413310400 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 2255.01
Current children cumulated vsize (KiB) 13345332
[startup+355.201 s]
/proc/loadavg: 9.94 11.39 12.78 17/284 19427
/proc/meminfo: memFree=18244064/32770624 swapFree=5656/335584
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13335820 CPUtime=2267.45 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 192654 0 0 0 222841 3904 0 0 20 0 21 0 4866214 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3333955 2495458 3271 1 0 3321188 0
[pid=19198/tid=19199] ppid=19197 vsize=13335820 CPUtime=72.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) S 19197 19197 7102 0 -1 1077944384 11720 0 0 0 7201 9 0 0 20 0 21 0 4866214 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513107178528 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13335820 CPUtime=273.03 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) R 19197 19197 7102 0 -1 4202560 10407 0 0 0 26818 485 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513021417680 140513095566055 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13335820 CPUtime=272.7 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) R 19197 19197 7102 0 -1 4202560 11692 0 0 0 26765 505 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513020365192 140513095566055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13335820 CPUtime=272.21 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) R 19197 19197 7102 0 -1 4202560 10956 0 0 0 26742 479 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513019312904 140513095566055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13335820 CPUtime=273.36 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) R 19197 19197 7102 0 -1 4202560 11706 0 0 0 26864 472 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513018260184 140513087395441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13335820 CPUtime=272.34 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) R 19197 19197 7102 0 -1 4202560 11683 0 0 0 26736 498 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513017207816 140513086320880 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13335820 CPUtime=273.36 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) R 19197 19197 7102 0 -1 4202560 12620 0 0 0 26856 480 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513016155016 140513095566055 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13335820 CPUtime=272.93 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) S 19197 19197 7102 0 -1 1077944384 11251 0 0 0 26823 470 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513015102416 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13335820 CPUtime=272.48 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) R 19197 19197 7102 0 -1 4202560 11546 0 0 0 26763 485 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513014049928 140513095566055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13335820 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) S 19197 19197 7102 0 -1 1077944384 64437 0 0 0 754 5 0 0 20 0 21 0 4866216 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512430793408 140513102948053 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512429740896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512428688512 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19213] ppid=19197 vsize=13335820 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19213/stat : 19213 (java) S 19197 19197 7102 0 -1 1077944384 9782 0 0 0 183 1 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512426584736 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19214] ppid=19197 vsize=13335820 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19214/stat : 19214 (java) S 19197 19197 7102 0 -1 1077944384 4668 0 0 0 163 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512425531648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19215] ppid=19197 vsize=13335820 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 4724 0 0 0 103 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512424479648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13335820 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 3554 0 0 0 56 1 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512423426848 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13335820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 586 0 0 0 8 8 0 0 20 0 21 0 4866220 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19427] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19427/stat : 19427 (java) S 19197 19197 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4900838 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512413310400 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 2267.45
Current children cumulated vsize (KiB) 13345332
[startup+356.001 s]
/proc/loadavg: 9.94 11.39 12.78 9/284 19427
/proc/meminfo: memFree=17637864/32770624 swapFree=5656/335584
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13335820 CPUtime=2273.66 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 192654 0 0 0 223459 3907 0 0 20 0 21 0 4866214 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3333955 2495458 3271 1 0 3321188 0
[pid=19198/tid=19199] ppid=19197 vsize=13335820 CPUtime=72.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) S 19197 19197 7102 0 -1 1077944384 11720 0 0 0 7201 9 0 0 20 0 21 0 4866214 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513107178528 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13335820 CPUtime=273.81 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) R 19197 19197 7102 0 -1 4202560 10407 0 0 0 26895 486 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513021417992 140513095566055 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13335820 CPUtime=273.47 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) R 19197 19197 7102 0 -1 4202560 11692 0 0 0 26842 505 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513020365192 140513095566055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13335820 CPUtime=272.98 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) R 19197 19197 7102 0 -1 4202560 10956 0 0 0 26819 479 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513019312904 140513095566055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13335820 CPUtime=274.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) R 19197 19197 7102 0 -1 4202560 11706 0 0 0 26944 472 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513018260184 140513087927527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13335820 CPUtime=273.08 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) R 19197 19197 7102 0 -1 4202560 11683 0 0 0 26810 498 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513017207816 140513086320880 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13335820 CPUtime=274.13 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) R 19197 19197 7102 0 -1 4202560 12620 0 0 0 26933 480 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513016154704 140513095566055 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13335820 CPUtime=273.69 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) R 19197 19197 7102 0 -1 4202560 11251 0 0 0 26899 470 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513015102416 140513095566055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13335820 CPUtime=273.25 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) R 19197 19197 7102 0 -1 4202560 11546 0 0 0 26840 485 0 0 20 0 21 0 4866215 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140513014049928 140513095566055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13335820 CPUtime=7.59 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) S 19197 19197 7102 0 -1 1077944384 64437 0 0 0 754 5 0 0 20 0 21 0 4866216 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512430793408 140513102948053 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512429740896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512428688512 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19213] ppid=19197 vsize=13335820 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19213/stat : 19213 (java) S 19197 19197 7102 0 -1 1077944384 9782 0 0 0 183 1 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512426584736 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19214] ppid=19197 vsize=13335820 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19214/stat : 19214 (java) S 19197 19197 7102 0 -1 1077944384 4668 0 0 0 163 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512425531648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19215] ppid=19197 vsize=13335820 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 4724 0 0 0 103 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512424479648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13335820 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 3554 0 0 0 56 1 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512423426848 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13335820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 586 0 0 0 8 8 0 0 20 0 21 0 4866220 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19427] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19427/stat : 19427 (java) S 19197 19197 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4900838 13655879680 2495458 33554432000 4194304 4196468 140724273761184 140512413310400 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 2273.66
Current children cumulated vsize (KiB) 13345332
[startup+356.201 s]
/proc/loadavg: 9.94 11.39 12.78 9/284 19427
/proc/meminfo: memFree=17637864/32770624 swapFree=5656/335584
[pid=19197] ppid=19194 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4866213 9740288 346 33554432000 4194304 5098028 140723571110576 140723571108680 140639915836028 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15962112 140723571119246 140723571119456 140723571119456 140723571122155 0
/proc/19197/statm: 2378 346 289 221 0 87 0
[pid=19198] ppid=19197 vsize=13335820 CPUtime=2274.41 cores=1,3,5,7,9,11,13,15
/proc/19198/stat : 19198 (java) S 19197 19197 7102 0 -1 1077944320 192909 0 0 0 223534 3907 0 0 20 0 21 0 4866214 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140724273743728 140513102937847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
/proc/19198/statm: 3333955 2495462 3271 1 0 3321188 0
[pid=19198/tid=19199] ppid=19197 vsize=13335820 CPUtime=72.1 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19199/stat : 19199 (java) S 19197 19197 7102 0 -1 1077944384 11720 0 0 0 7201 9 0 0 20 0 21 0 4866214 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513107178528 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19201] ppid=19197 vsize=13335820 CPUtime=273.89 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19201/stat : 19201 (java) S 19197 19197 7102 0 -1 1077944384 10407 0 0 0 26903 486 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513021417872 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19202] ppid=19197 vsize=13335820 CPUtime=273.55 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19202/stat : 19202 (java) S 19197 19197 7102 0 -1 1077944384 11692 0 0 0 26850 505 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513020365072 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19203] ppid=19197 vsize=13335820 CPUtime=273.06 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19203/stat : 19203 (java) S 19197 19197 7102 0 -1 1077944384 10956 0 0 0 26827 479 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513019312784 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19204] ppid=19197 vsize=13335820 CPUtime=274.24 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19204/stat : 19204 (java) S 19197 19197 7102 0 -1 1077944384 11706 0 0 0 26952 472 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513018259984 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19205] ppid=19197 vsize=13335820 CPUtime=273.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19205/stat : 19205 (java) S 19197 19197 7102 0 -1 1077944384 11683 0 0 0 26818 498 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513017207696 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19206] ppid=19197 vsize=13335820 CPUtime=274.21 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19206/stat : 19206 (java) S 19197 19197 7102 0 -1 1077944384 12620 0 0 0 26941 480 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513016154896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19207] ppid=19197 vsize=13335820 CPUtime=273.77 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19207/stat : 19207 (java) S 19197 19197 7102 0 -1 1077944384 11251 0 0 0 26907 470 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513015102608 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19208] ppid=19197 vsize=13335820 CPUtime=273.33 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19208/stat : 19208 (java) S 19197 19197 7102 0 -1 1077944384 11546 0 0 0 26848 485 0 0 20 0 21 0 4866215 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140513014049808 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19209] ppid=19197 vsize=13335820 CPUtime=7.71 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19209/stat : 19209 (java) R 19197 19197 7102 0 -1 4202560 64692 0 0 0 766 5 0 0 20 0 21 0 4866216 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512430793296 140513081308027 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19210] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19210/stat : 19210 (java) S 19197 19197 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512429740896 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19211] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19211/stat : 19211 (java) S 19197 19197 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4866217 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512428688512 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19212] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19212/stat : 19212 (java) S 19197 19197 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512427636816 140513102956443 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19213] ppid=19197 vsize=13335820 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19213/stat : 19213 (java) S 19197 19197 7102 0 -1 1077944384 9782 0 0 0 183 1 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512426584736 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19214] ppid=19197 vsize=13335820 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19214/stat : 19214 (java) S 19197 19197 7102 0 -1 1077944384 4668 0 0 0 163 0 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512425531648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19215] ppid=19197 vsize=13335820 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19215/stat : 19215 (java) S 19197 19197 7102 0 -1 1077944384 4724 0 0 0 103 0 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512424479648 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19216] ppid=19197 vsize=13335820 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19216/stat : 19216 (java) S 19197 19197 7102 0 -1 1077944384 3554 0 0 0 56 1 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512423426848 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19217] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19217/stat : 19217 (java) S 19197 19197 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4866219 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512422373728 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19218] ppid=19197 vsize=13335820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19218/stat : 19218 (java) S 19197 19197 7102 0 -1 1077944384 586 0 0 0 8 8 0 0 20 0 21 0 4866220 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512421321008 140513102948994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
[pid=19198/tid=19427] ppid=19197 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/19198/task/19427/stat : 19427 (java) S 19197 19197 7102 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 4900838 13655879680 2495462 33554432000 4194304 4196468 140724273761184 140512413310400 140513102948053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26726400 140724273767612 140724273767788 140724273767788 140724273770447 0
Current children cumulated CPU time (s) 2274.41
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 356.26
CPU time (s): 2274.46
CPU user time (s): 2235.35
CPU system time (s): 39.1149
CPU usage (%): 638.427
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2235.35
system time used= 39.1149
maximum resident set size= 9982152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25885
involuntary context switches= 154341
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.4092 second user time and 3.88253 second system time
The end