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-4246589-1500687673/watcher-4246589-1500687673 -o /tmp/evaluation-result-4246589-1500687673/solver-4246589-1500687673 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 128715400 HOME/instance-4246589-1500687673.xml
pid=27205
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: 6.20 11.41 13.69 3/264 27208
/proc/meminfo: memFree=23732968/32770624 swapFree=5880/251532
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 6.20 11.41 13.69 3/264 27208
/proc/meminfo: memFree=23732968/32770624 swapFree=5880/251532
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200299 s]
/proc/loadavg: 6.20 11.41 13.69 3/264 27208
/proc/meminfo: memFree=23732968/32770624 swapFree=5880/251532
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300298 s]
/proc/loadavg: 6.20 11.41 13.69 3/264 27208
/proc/meminfo: memFree=23732968/32770624 swapFree=5880/251532
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700246 s]
/proc/loadavg: 6.20 11.41 13.69 3/264 27208
/proc/meminfo: memFree=23732968/32770624 swapFree=5880/251532
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50085 s]
/proc/loadavg: 6.20 11.41 13.69 10/285 27229
/proc/meminfo: memFree=23461336/32770624 swapFree=5880/251660
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[pid=27209] ppid=27208 vsize=13267208 CPUtime=3.76 cores=1,3,5,7,9,11,13,15
/proc/27209/stat : 27209 (java) S 27208 27208 7744 0 -1 1077944320 13399 0 0 0 299 77 0 0 20 0 20 0 4035004 13585620992 109267 33554432000 4194304 4196468 140724661467104 140724661449648 140668737867511 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
/proc/27209/statm: 3316802 109779 3222 1 0 3304035 0
[pid=27209/tid=27210] ppid=27208 vsize=13267208 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27210/stat : 27210 (java) S 27208 27208 7744 0 -1 1077944384 6512 0 0 0 126 6 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668742105712 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27212] ppid=27208 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27212/stat : 27212 (java) R 27208 27208 7744 0 -1 4202560 69 0 0 0 3 9 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668703149272 140668722895394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27213] ppid=27208 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27213/stat : 27213 (java) R 27208 27208 7744 0 -1 4202560 62 0 0 0 3 9 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668336196952 140668730970828 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27214] ppid=27208 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27214/stat : 27214 (java) R 27208 27208 7744 0 -1 4202560 89 0 0 0 5 7 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668335143896 140668722895394 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27215] ppid=27208 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27215/stat : 27215 (java) R 27208 27208 7744 0 -1 4202560 63 0 0 0 5 6 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668334091352 140668722895394 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27216] ppid=27208 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27216/stat : 27216 (java) R 27208 27208 7744 0 -1 4202560 83 0 0 0 3 10 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668333038296 140668730970988 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27217] ppid=27208 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27217/stat : 27217 (java) R 27208 27208 7744 0 -1 4202560 70 0 0 0 4 7 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668331985440 140668722895394 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27218] ppid=27208 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27218/stat : 27218 (java) R 27208 27208 7744 0 -1 4202560 69 0 0 0 3 9 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668330932696 140668722895394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27219] ppid=27208 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27219/stat : 27219 (java) R 27208 27208 7744 0 -1 4202560 71 0 0 0 4 8 0 0 20 0 20 0 4035005 13585620992 109779 33554432000 4194304 4196468 140724661467104 140668329880152 140668722895394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27220] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27220/stat : 27220 (java) S 27208 27208 7744 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4035008 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667998885152 140668737877717 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27221] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4035009 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4035009 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27224] ppid=27208 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27224/stat : 27224 (java) S 27208 27208 7744 0 -1 1077944384 1772 0 0 0 41 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667994675440 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27225] ppid=27208 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27225/stat : 27225 (java) S 27208 27208 7744 0 -1 1077944384 822 0 0 0 29 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667993622896 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27226] ppid=27208 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27226/stat : 27226 (java) S 27208 27208 7744 0 -1 1077944384 928 0 0 0 37 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667992569840 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27227] ppid=27208 vsize=13267208 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27227/stat : 27227 (java) S 27208 27208 7744 0 -1 1077944384 1287 0 0 0 28 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667991517296 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27228] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27228/stat : 27228 (java) S 27208 27208 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4035013 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667990465504 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27229] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27229/stat : 27229 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4035014 13585620992 109779 33554432000 4194304 4196468 140724661467104 140667989413040 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13276720
[startup+3.10097 s]
/proc/loadavg: 6.20 11.41 13.69 3/285 27229
/proc/meminfo: memFree=23034416/32770624 swapFree=5880/251660
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[pid=27209] ppid=27208 vsize=13267208 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/27209/stat : 27209 (java) S 27208 27208 7744 0 -1 1077944320 14718 0 0 0 480 130 0 0 20 0 20 0 4035004 13585620992 189614 33554432000 4194304 4196468 140724661467104 140724661449648 140668737867511 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
/proc/27209/statm: 3316802 189614 3225 1 0 3304035 0
[pid=27209/tid=27210] ppid=27208 vsize=13267208 CPUtime=2.81 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27210/stat : 27210 (java) R 27208 27208 7744 0 -1 4202560 6811 0 0 0 273 8 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668742105640 140668377664483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27212] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27212/stat : 27212 (java) S 27208 27208 7744 0 -1 1077944384 116 0 0 0 8 14 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668703149072 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27213] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27213/stat : 27213 (java) S 27208 27208 7744 0 -1 1077944384 120 0 0 0 7 15 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668336196752 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27214] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27214/stat : 27214 (java) S 27208 27208 7744 0 -1 1077944384 143 0 0 0 9 13 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668335143696 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27215] ppid=27208 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27215/stat : 27215 (java) S 27208 27208 7744 0 -1 1077944384 106 0 0 0 9 12 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668334091152 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27216] ppid=27208 vsize=13267208 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27216/stat : 27216 (java) S 27208 27208 7744 0 -1 1077944384 133 0 0 0 7 17 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668333038096 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27217] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27217/stat : 27217 (java) S 27208 27208 7744 0 -1 1077944384 121 0 0 0 8 14 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668331985552 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27218] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27218/stat : 27218 (java) S 27208 27208 7744 0 -1 1077944384 133 0 0 0 6 16 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668330932496 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27219] ppid=27208 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27219/stat : 27219 (java) S 27208 27208 7744 0 -1 1077944384 377 0 0 0 8 14 0 0 20 0 20 0 4035005 13585620992 189614 33554432000 4194304 4196468 140724661467104 140668329879952 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27220] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27220/stat : 27220 (java) S 27208 27208 7744 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 20 0 4035008 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667998886640 140668737878658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27221] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4035009 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4035009 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27224] ppid=27208 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27224/stat : 27224 (java) S 27208 27208 7744 0 -1 1077944384 1775 0 0 0 41 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667994675440 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27225] ppid=27208 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27225/stat : 27225 (java) S 27208 27208 7744 0 -1 1077944384 822 0 0 0 29 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667993622896 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27226] ppid=27208 vsize=13267208 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27226/stat : 27226 (java) S 27208 27208 7744 0 -1 1077944384 928 0 0 0 37 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667992569840 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27227] ppid=27208 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27227/stat : 27227 (java) S 27208 27208 7744 0 -1 1077944384 1327 0 0 0 31 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667991517296 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27228] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27228/stat : 27228 (java) S 27208 27208 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4035013 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667990465504 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27229] ppid=27208 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27229/stat : 27229 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4035014 13585620992 189614 33554432000 4194304 4196468 140724661467104 140667989413040 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 13276720
[startup+6.30086 s]
/proc/loadavg: 6.02 11.29 13.64 17/285 27229
/proc/meminfo: memFree=21747236/32770624 swapFree=5880/251672
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[pid=27209] ppid=27208 vsize=13269256 CPUtime=12.18 cores=1,3,5,7,9,11,13,15
/proc/27209/stat : 27209 (java) S 27208 27208 7744 0 -1 1077944320 23922 0 0 0 940 278 0 0 20 0 20 0 4035004 13587718144 380502 33554432000 4194304 4196468 140724661467104 140724661449648 140668737867511 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
/proc/27209/statm: 3317314 380502 3231 1 0 3304547 0
[pid=27209/tid=27210] ppid=27208 vsize=13269256 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27210/stat : 27210 (java) R 27208 27208 7744 0 -1 4202560 9581 0 0 0 553 14 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668742105032 140668377666853 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27212] ppid=27208 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27212/stat : 27212 (java) S 27208 27208 7744 0 -1 1077944384 314 0 0 0 25 29 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668703149072 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27213] ppid=27208 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27213/stat : 27213 (java) S 27208 27208 7744 0 -1 1077944384 333 0 0 0 21 33 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668336196752 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27214] ppid=27208 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27214/stat : 27214 (java) S 27208 27208 7744 0 -1 1077944384 344 0 0 0 23 32 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668335143696 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27215] ppid=27208 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27215/stat : 27215 (java) S 27208 27208 7744 0 -1 1077944384 402 0 0 0 21 30 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668334091152 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27216] ppid=27208 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27216/stat : 27216 (java) S 27208 27208 7744 0 -1 1077944384 327 0 0 0 21 34 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668333038096 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27217] ppid=27208 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27217/stat : 27217 (java) S 27208 27208 7744 0 -1 1077944384 318 0 0 0 23 31 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668331985552 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27218] ppid=27208 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27218/stat : 27218 (java) S 27208 27208 7744 0 -1 1077944384 285 0 0 0 21 34 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668330932496 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27219] ppid=27208 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27219/stat : 27219 (java) S 27208 27208 7744 0 -1 1077944384 519 0 0 0 23 32 0 0 20 0 20 0 4035005 13587718144 380502 33554432000 4194304 4196468 140724661467104 140668329879952 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27220] ppid=27208 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27220/stat : 27220 (java) S 27208 27208 7744 0 -1 1077944384 1326 0 0 0 1 0 0 0 20 0 20 0 4035008 13587718144 380502 33554432000 4194304 4196468 140724661467104 140667998886640 140668737878658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27221] ppid=27208 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4035009 13587718144 380502 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4035009 13587718144 380502 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4035013 13587718144 380502 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
################
# More data... #
################
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27224] ppid=27208 vsize=13801768 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27224/stat : 27224 (java) R 27208 27208 7744 0 -1 4202560 5557 0 0 0 135 2 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667994656456 140668721763677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27225] ppid=27208 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27225/stat : 27225 (java) R 27208 27208 7744 0 -1 4202560 5238 0 0 0 128 1 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667993614176 140668719412816 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27226] ppid=27208 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27226/stat : 27226 (java) R 27208 27208 7744 0 -1 4202560 3792 0 0 0 137 1 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667992562328 140668721391053 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27227] ppid=27208 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27227/stat : 27227 (java) S 27208 27208 7744 0 -1 1077944384 5227 0 0 0 77 2 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667991517296 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27228] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27228/stat : 27228 (java) S 27208 27208 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667990465504 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27229] ppid=27208 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27229/stat : 27229 (java) S 27208 27208 7744 0 -1 1077944384 215 0 0 0 1 1 0 0 20 0 28 0 4035014 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667989413040 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27230] ppid=27208 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27230/stat : 27230 (java) R 27208 27208 7744 0 -1 4202560 82 0 0 0 92 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667981397192 140668377462594 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27231] ppid=27208 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27231/stat : 27231 (java) R 27208 27208 7744 0 -1 4202560 48 0 0 0 99 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667980344928 140668377535824 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27232] ppid=27208 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27232/stat : 27232 (java) R 27208 27208 7744 0 -1 4202560 36 0 0 0 88 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667979292600 140668377485089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27233] ppid=27208 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27233/stat : 27233 (java) R 27208 27208 7744 0 -1 4202560 79 0 0 0 98 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667978241608 140668377535844 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27234] ppid=27208 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27234/stat : 27234 (java) R 27208 27208 7744 0 -1 4202560 40 0 0 0 99 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667977186920 140668377484512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27235] ppid=27208 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27235/stat : 27235 (java) R 27208 27208 7744 0 -1 4202560 37 0 0 0 107 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667976134456 140668377485346 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27236] ppid=27208 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27236/stat : 27236 (java) R 27208 27208 7744 0 -1 4202560 34 0 0 0 95 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667975082552 140668377462576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27237] ppid=27208 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27237/stat : 27237 (java) R 27208 27208 7744 0 -1 4202560 34 0 0 0 98 0 0 0 20 0 28 0 4039516 14133010432 1250006 33554432000 4194304 4196468 140724661467104 140667974030240 140668377535824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 13811280
[startup+47.2015 s]
/proc/loadavg: 6.18 10.72 13.35 20/293 27237
/proc/meminfo: memFree=16959208/32770624 swapFree=5880/251704
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[pid=27209] ppid=27208 vsize=13801768 CPUtime=107.36 cores=1,3,5,7,9,11,13,15
/proc/27209/stat : 27209 (java) S 27208 27208 7744 0 -1 1077944320 70133 0 0 0 9668 1068 0 0 20 0 28 0 4035004 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140724661449648 140668737867511 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
/proc/27209/statm: 3450442 1250036 3272 1 0 3437675 0
[pid=27209/tid=27210] ppid=27208 vsize=13801768 CPUtime=37.04 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27210/stat : 27210 (java) S 27208 27208 7744 0 -1 1077944384 17201 0 0 0 3663 41 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668742108288 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27212] ppid=27208 vsize=13801768 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27212/stat : 27212 (java) S 27208 27208 7744 0 -1 1077944384 2178 0 0 0 486 122 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668703149072 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27213] ppid=27208 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27213/stat : 27213 (java) S 27208 27208 7744 0 -1 1077944384 2446 0 0 0 489 131 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668336196752 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27214] ppid=27208 vsize=13801768 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27214/stat : 27214 (java) S 27208 27208 7744 0 -1 1077944384 2092 0 0 0 493 130 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668335143696 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27215] ppid=27208 vsize=13801768 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27215/stat : 27215 (java) S 27208 27208 7744 0 -1 1077944384 2738 0 0 0 494 116 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668334091152 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27216] ppid=27208 vsize=13801768 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27216/stat : 27216 (java) S 27208 27208 7744 0 -1 1077944384 2578 0 0 0 502 121 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668333038096 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27217] ppid=27208 vsize=13801768 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27217/stat : 27217 (java) S 27208 27208 7744 0 -1 1077944384 2277 0 0 0 494 128 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668331985552 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27218] ppid=27208 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27218/stat : 27218 (java) S 27208 27208 7744 0 -1 1077944384 2040 0 0 0 483 137 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668330932496 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27219] ppid=27208 vsize=13801768 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27219/stat : 27219 (java) S 27208 27208 7744 0 -1 1077944384 2193 0 0 0 494 125 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668329879952 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27220] ppid=27208 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27220/stat : 27220 (java) S 27208 27208 7744 0 -1 1077944384 11704 0 0 0 171 1 0 0 20 0 28 0 4035008 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667998886640 140668737878658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27221] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27224] ppid=27208 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27224/stat : 27224 (java) S 27208 27208 7744 0 -1 1077944384 6263 0 0 0 195 2 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667994675440 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27225] ppid=27208 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27225/stat : 27225 (java) S 27208 27208 7744 0 -1 1077944384 5293 0 0 0 169 1 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667993622896 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27226] ppid=27208 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27226/stat : 27226 (java) S 27208 27208 7744 0 -1 1077944384 3866 0 0 0 170 1 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667992569840 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27227] ppid=27208 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27227/stat : 27227 (java) S 27208 27208 7744 0 -1 1077944384 5241 0 0 0 78 2 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667991517296 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27228] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27228/stat : 27228 (java) S 27208 27208 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667990465504 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27229] ppid=27208 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27229/stat : 27229 (java) S 27208 27208 7744 0 -1 1077944384 215 0 0 0 1 1 0 0 20 0 28 0 4035014 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667989413040 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27230] ppid=27208 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27230/stat : 27230 (java) R 27208 27208 7744 0 -1 4202560 82 0 0 0 160 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667981397392 140668377485435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27231] ppid=27208 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27231/stat : 27231 (java) R 27208 27208 7744 0 -1 4202560 48 0 0 0 162 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667980347032 140668377534914 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27232] ppid=27208 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27232/stat : 27232 (java) R 27208 27208 7744 0 -1 4202560 36 0 0 0 146 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667979292848 140668377534914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27233] ppid=27208 vsize=13801768 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27233/stat : 27233 (java) R 27208 27208 7744 0 -1 4202560 79 0 0 0 158 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667978240256 140668377485101 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27234] ppid=27208 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27234/stat : 27234 (java) R 27208 27208 7744 0 -1 4202560 40 0 0 0 148 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667977186920 140668377534914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27235] ppid=27208 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27235/stat : 27235 (java) R 27208 27208 7744 0 -1 4202560 37 0 0 0 176 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667976134456 140668377482808 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27236] ppid=27208 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27236/stat : 27236 (java) R 27208 27208 7744 0 -1 4202560 34 0 0 0 163 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667975083176 140668377485346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27237] ppid=27208 vsize=13801768 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27237/stat : 27237 (java) R 27208 27208 7744 0 -1 4202560 34 0 0 0 160 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667974030632 140668377485351 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
Current children cumulated CPU time (s) 107.36
Current children cumulated vsize (KiB) 13811280
[startup+47.6015 s]
/proc/loadavg: 6.18 10.72 13.35 17/293 27237
/proc/meminfo: memFree=16957224/32770624 swapFree=5880/251704
[pid=27208] ppid=27205 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27208/stat : 27208 (xcsp3-exec) S 27205 27208 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4035004 9740288 346 33554432000 4194304 5098028 140725367415648 140725367413752 139801204482684 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20783104 140725367424143 140725367424352 140725367424352 140725367427051 0
/proc/27208/statm: 2378 346 289 221 0 87 0
[pid=27209] ppid=27208 vsize=13801768 CPUtime=110.53 cores=1,3,5,7,9,11,13,15
/proc/27209/stat : 27209 (java) S 27208 27208 7744 0 -1 1077944320 70194 0 0 0 9985 1068 0 0 20 0 28 0 4035004 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140724661449648 140668737867511 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
/proc/27209/statm: 3450442 1250036 3272 1 0 3437675 0
[pid=27209/tid=27210] ppid=27208 vsize=13801768 CPUtime=37.04 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27210/stat : 27210 (java) S 27208 27208 7744 0 -1 1077944384 17201 0 0 0 3663 41 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668742108288 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27212] ppid=27208 vsize=13801768 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27212/stat : 27212 (java) S 27208 27208 7744 0 -1 1077944384 2178 0 0 0 486 122 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668703149072 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27213] ppid=27208 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27213/stat : 27213 (java) S 27208 27208 7744 0 -1 1077944384 2446 0 0 0 489 131 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668336196752 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27214] ppid=27208 vsize=13801768 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27214/stat : 27214 (java) S 27208 27208 7744 0 -1 1077944384 2092 0 0 0 493 130 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668335143696 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27215] ppid=27208 vsize=13801768 CPUtime=6.1 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27215/stat : 27215 (java) S 27208 27208 7744 0 -1 1077944384 2738 0 0 0 494 116 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668334091152 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27216] ppid=27208 vsize=13801768 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27216/stat : 27216 (java) S 27208 27208 7744 0 -1 1077944384 2578 0 0 0 502 121 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668333038096 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27217] ppid=27208 vsize=13801768 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27217/stat : 27217 (java) S 27208 27208 7744 0 -1 1077944384 2277 0 0 0 494 128 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668331985552 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27218] ppid=27208 vsize=13801768 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27218/stat : 27218 (java) S 27208 27208 7744 0 -1 1077944384 2040 0 0 0 483 137 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668330932496 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27219] ppid=27208 vsize=13801768 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27219/stat : 27219 (java) S 27208 27208 7744 0 -1 1077944384 2193 0 0 0 494 125 0 0 20 0 28 0 4035005 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140668329879952 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27220] ppid=27208 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27220/stat : 27220 (java) S 27208 27208 7744 0 -1 1077944384 11704 0 0 0 171 1 0 0 20 0 28 0 4035008 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667998886640 140668737878658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27221] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27221/stat : 27221 (java) S 27208 27208 7744 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667997832928 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27222] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27222/stat : 27222 (java) S 27208 27208 7744 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4035009 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667996779776 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27223] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27223/stat : 27223 (java) S 27208 27208 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667995728336 140668737886107 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27224] ppid=27208 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27224/stat : 27224 (java) S 27208 27208 7744 0 -1 1077944384 6263 0 0 0 196 2 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667994675440 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27225] ppid=27208 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27225/stat : 27225 (java) S 27208 27208 7744 0 -1 1077944384 5296 0 0 0 172 1 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667993622896 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27226] ppid=27208 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27226/stat : 27226 (java) S 27208 27208 7744 0 -1 1077944384 3866 0 0 0 172 1 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667992569840 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27227] ppid=27208 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27227/stat : 27227 (java) S 27208 27208 7744 0 -1 1077944384 5242 0 0 0 79 2 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667991517296 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27228] ppid=27208 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27228/stat : 27228 (java) S 27208 27208 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4035013 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667990465504 140668737877717 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27229] ppid=27208 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27229/stat : 27229 (java) S 27208 27208 7744 0 -1 1077944384 215 0 0 0 1 1 0 0 20 0 28 0 4035014 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667989413040 140668737878658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27230] ppid=27208 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27230/stat : 27230 (java) R 27208 27208 7744 0 -1 4202560 86 0 0 0 199 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667981397064 140668377485351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27231] ppid=27208 vsize=13801768 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27231/stat : 27231 (java) R 27208 27208 7744 0 -1 4202560 51 0 0 0 200 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667980345128 140668377534845 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27232] ppid=27208 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27232/stat : 27232 (java) R 27208 27208 7744 0 -1 4202560 60 0 0 0 183 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667979292712 140668377534850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27233] ppid=27208 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27233/stat : 27233 (java) R 27208 27208 7744 0 -1 4202560 85 0 0 0 198 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667978240792 140668377485351 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27234] ppid=27208 vsize=13801768 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27234/stat : 27234 (java) R 27208 27208 7744 0 -1 4202560 45 0 0 0 188 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667977187128 140668377485089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27235] ppid=27208 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27235/stat : 27235 (java) R 27208 27208 7744 0 -1 4202560 42 0 0 0 216 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667976134584 140668377485481 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27236] ppid=27208 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27236/stat : 27236 (java) R 27208 27208 7744 0 -1 4202560 40 0 0 0 203 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667975082552 140668377485462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
[pid=27209/tid=27237] ppid=27208 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/27209/task/27237/stat : 27237 (java) R 27208 27208 7744 0 -1 4202560 38 0 0 0 199 0 0 0 20 0 28 0 4039516 14133010432 1250036 33554432000 4194304 4196468 140724661467104 140667974029800 140668380585794 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38518784 140724661474492 140724661474668 140724661474668 140724661477327 0
Current children cumulated CPU time (s) 110.53
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 47.6797
CPU time (s): 110.885
CPU user time (s): 100.18
CPU system time (s): 10.7058
CPU usage (%): 232.563
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.18
system time used= 10.7058
maximum resident set size= 5003480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6618
involuntary context switches= 7557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.38258 second user time and 0.561181 second system time
The end