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-4248620-1502060836/watcher-4248620-1502060836 -o /tmp/evaluation-result-4248620-1502060836/solver-4248620-1502060836 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 2121755221 HOME/instance-4248620-1502060836.xml
pid=11983
running on 4 cores: 0,2,4,6
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: 5.59 7.71 8.17 2/200 11986
/proc/meminfo: memFree=25028304/32770624 swapFree=0/330212
[pid=11986] ppid=11983 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (runsolver) D 11983 11986 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53898918 24240128 107 18446744073709551615 4194304 4338465 140733826901152 140733826898792 139927260177111 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 35692544 140733826904150 140733826904649 140733826904649 140733826908106 0
/proc/11986/statm: 5918 107 54 36 0 2156 0
[startup+0.100058 s]
/proc/loadavg: 5.59 7.71 8.17 2/200 11986
/proc/meminfo: memFree=25028304/32770624 swapFree=0/330212
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200283 s]
/proc/loadavg: 5.59 7.71 8.17 2/200 11986
/proc/meminfo: memFree=25028304/32770624 swapFree=0/330212
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300254 s]
/proc/loadavg: 5.59 7.71 8.17 2/200 11986
/proc/meminfo: memFree=25028304/32770624 swapFree=0/330212
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700218 s]
/proc/loadavg: 5.59 7.71 8.17 2/200 11986
/proc/meminfo: memFree=25028304/32770624 swapFree=0/330212
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50077 s]
/proc/loadavg: 5.59 7.71 8.17 3/216 12002
/proc/meminfo: memFree=24927680/32770624 swapFree=0/330248
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=1.88 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 12069 0 0 0 182 6 0 0 20 0 15 0 53898927 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 28445 3160 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=1.33 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) R 11986 11986 25100 0 -1 4202560 8343 0 0 0 129 4 0 0 20 0 15 0 53898927 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140693368960672 140693008512549 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53898928 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53898928 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53898928 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53898928 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) S 11986 11986 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692319828848 140693364763266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692318774816 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.12 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 693 0 0 0 12 0 0 0 20 0 15 0 53898932 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692315617648 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.15 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 614 0 0 0 15 0 0 0 20 0 15 0 53898932 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692314564848 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.24 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 1110 0 0 0 24 0 0 0 20 0 15 0 53898932 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692313512048 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898939 13229391872 28445 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 12928840
[startup+3.10082 s]
/proc/loadavg: 5.59 7.71 8.17 6/216 12002
/proc/meminfo: memFree=24755960/32770624 swapFree=0/330248
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=3.79 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 14477 0 0 0 360 19 0 0 20 0 15 0 53898927 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 68076 3190 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=2.85 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) R 11986 11986 25100 0 -1 4202560 9057 0 0 0 280 5 0 0 20 0 15 0 53898927 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140693368989688 140693008512609 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=0.07 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 132 0 0 0 4 3 0 0 20 0 15 0 53898928 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=0.06 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 82 0 0 0 4 2 0 0 20 0 15 0 53898928 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=0.07 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 96 0 0 0 4 3 0 0 20 0 15 0 53898928 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=0.07 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 243 0 0 0 4 3 0 0 20 0 15 0 53898928 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) S 11986 11986 25100 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692319828848 140693364763266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692318774816 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1137 0 0 0 18 0 0 0 20 0 15 0 53898932 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692315617648 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.17 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 989 0 0 0 17 0 0 0 20 0 15 0 53898932 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692314564848 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.25 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 1255 0 0 0 25 0 0 0 20 0 15 0 53898932 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692313512048 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53898939 13229391872 68076 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 12928840
[startup+6.30083 s]
/proc/loadavg: 5.46 7.64 8.15 3/216 12002
/proc/meminfo: memFree=23903952/32770624 swapFree=0/330248
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=7.29 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 16460 0 0 0 693 36 0 0 20 0 15 0 53898927 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 102485 3192 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=5.95 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) R 11986 11986 25100 0 -1 4202560 9850 0 0 0 590 5 0 0 20 0 15 0 53898927 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140693368990544 140693008645334 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 236 0 0 0 9 7 0 0 20 0 15 0 53898928 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=0.17 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 366 0 0 0 10 7 0 0 20 0 15 0 53898928 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 263 0 0 0 9 7 0 0 20 0 15 0 53898928 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=0.16 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 354 0 0 0 9 7 0 0 20 0 15 0 53898928 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) S 11986 11986 25100 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692319828848 140693364763266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692318774816 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.18 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1137 0 0 0 18 0 0 0 20 0 15 0 53898932 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692315617648 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.17 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 989 0 0 0 17 0 0 0 20 0 15 0 53898932 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692314564848 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.26 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 1532 0 0 0 26 0 0 0 20 0 15 0 53898932 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692313512048 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53898939 13229391872 102485 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 12928840
[startup+12.7014 s]
/proc/loadavg: 5.34 7.58 8.13 3/216 12002
/proc/meminfo: memFree=23512580/32770624 swapFree=0/330252
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=15.81 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 43114 0 0 0 1485 96 0 0 20 0 15 0 53898927 13229391872 265390 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 265390 3208 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=10.94 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) S 11986 11986 25100 0 -1 1077944384 10665 0 0 0 1087 7 0 0 20 0 15 0 53898927 13229391872 265390 18446744073709551615 4194304 4196468 140722750346992 140693368990240 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=0.86 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) R 11986 11986 25100 0 -1 4202560 6012 0 0 0 65 21 0 0 20 0 15 0 53898928 13229391872 265390 18446744073709551615 4194304 4196468 140722750346992 140693332310872 140693344778491 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=0.86 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) R 11986 11986 25100 0 -1 4202560 4639 0 0 0 65 21 0 0 20 0 15 0 53898928 13229391872 265390 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693349703344 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
################
# More data... #
################
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 4656 0 0 0 34 1 0 0 20 0 15 0 53898932 13229391872 2430389 18446744073709551615 4194304 4196468 140722750346992 140692313512048 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430389 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0.13 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 286 0 0 0 8 5 0 0 20 0 15 0 53898939 13229391872 2430389 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 457.84
Current children cumulated vsize (KiB) 12928840
[startup+209.601 s]
/proc/loadavg: 5.21 5.88 7.31 9/219 12226
/proc/meminfo: memFree=20601504/32770624 swapFree=0/330432
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=463.96 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 245982 0 0 0 45437 959 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 2430405 3218 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=105.89 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) S 11986 11986 25100 0 -1 1077944384 15362 0 0 0 10580 9 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693368991344 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=84.77 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 28551 0 0 0 8237 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=84.65 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 33363 0 0 0 8225 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=84.9 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 51892 0 0 0 8270 220 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=84.71 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 66646 0 0 0 8234 237 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=18.07 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) R 11986 11986 25100 0 -1 4202560 40948 0 0 0 1802 5 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692319827392 140693349748523 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692318774880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.2 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1737 0 0 0 20 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692315617408 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.19 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 1181 0 0 0 19 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692314564896 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 4656 0 0 0 34 1 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692313512096 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0.13 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 286 0 0 0 8 5 0 0 20 0 15 0 53898939 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 463.96
Current children cumulated vsize (KiB) 12928840
[startup+210.001 s]
/proc/loadavg: 5.21 5.88 7.31 9/219 12226
/proc/meminfo: memFree=20601504/32770624 swapFree=0/330432
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=464.36 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 245982 0 0 0 45477 959 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 2430405 3218 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=105.89 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) S 11986 11986 25100 0 -1 1077944384 15362 0 0 0 10580 9 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693368991344 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=84.77 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 28551 0 0 0 8237 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=84.65 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 33363 0 0 0 8225 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=84.9 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 51892 0 0 0 8270 220 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=84.71 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 66646 0 0 0 8234 237 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=18.47 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) R 11986 11986 25100 0 -1 4202560 40948 0 0 0 1842 5 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692319827392 140693349748526 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692318774880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.2 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1737 0 0 0 20 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692315617408 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.19 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 1181 0 0 0 19 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692314564896 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 4656 0 0 0 34 1 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692313512096 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0.13 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 286 0 0 0 8 5 0 0 20 0 15 0 53898939 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 464.36
Current children cumulated vsize (KiB) 12928840
[startup+210.207 s]
/proc/loadavg: 5.21 5.88 7.31 6/219 12226
/proc/meminfo: memFree=20601740/32770624 swapFree=0/330436
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=464.57 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 245982 0 0 0 45498 959 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 2430405 3218 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=105.89 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) S 11986 11986 25100 0 -1 1077944384 15362 0 0 0 10580 9 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693368991344 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=84.77 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 28551 0 0 0 8237 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=84.65 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 33363 0 0 0 8225 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=84.9 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 51892 0 0 0 8270 220 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=84.71 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 66646 0 0 0 8234 237 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=18.68 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) R 11986 11986 25100 0 -1 4202560 40948 0 0 0 1863 5 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692319827392 140693349209689 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692318774880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.2 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1737 0 0 0 20 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692315617408 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.19 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 1181 0 0 0 19 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692314564896 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 4656 0 0 0 34 1 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692313512096 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0.13 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 286 0 0 0 8 5 0 0 20 0 15 0 53898939 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 464.57
Current children cumulated vsize (KiB) 12928840
[startup+210.301 s]
/proc/loadavg: 5.21 5.88 7.31 6/219 12226
/proc/meminfo: memFree=20601740/32770624 swapFree=0/330436
[pid=11986] ppid=11983 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11986/stat : 11986 (xcsp3-exec) S 11983 11986 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 53898918 9740288 345 18446744073709551615 4194304 5098028 140726170359872 140726170357976 140669743600252 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 21721088 140726170362264 140726170362474 140726170362474 140726170365931 0
/proc/11986/statm: 2378 345 289 221 0 87 0
[pid=11988] ppid=11986 vsize=12919328 CPUtime=464.66 cores=0,2,4,6
/proc/11988/stat : 11988 (java) S 11986 11986 25100 0 -1 1077944320 245982 0 0 0 45507 959 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140722750329536 140693364752119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
/proc/11988/statm: 3229832 2430405 3218 1 0 3218124 0
[pid=11988/tid=11989] ppid=11986 vsize=12919328 CPUtime=105.89 cores=0,2,4,6
/proc/11988/task/11989/stat : 11989 (java) S 11986 11986 25100 0 -1 1077944384 15362 0 0 0 10580 9 0 0 20 0 15 0 53898927 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693368991344 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11990] ppid=11986 vsize=12919328 CPUtime=84.77 cores=0,2,4,6
/proc/11988/task/11990/stat : 11990 (java) S 11986 11986 25100 0 -1 1077944384 28551 0 0 0 8237 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140693332310672 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11991] ppid=11986 vsize=12919328 CPUtime=84.65 cores=0,2,4,6
/proc/11988/task/11991/stat : 11991 (java) S 11986 11986 25100 0 -1 1077944384 33363 0 0 0 8225 240 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692967217680 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11992] ppid=11986 vsize=12919328 CPUtime=84.9 cores=0,2,4,6
/proc/11988/task/11992/stat : 11992 (java) S 11986 11986 25100 0 -1 1077944384 51892 0 0 0 8270 220 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692966164880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11993] ppid=11986 vsize=12919328 CPUtime=84.71 cores=0,2,4,6
/proc/11988/task/11993/stat : 11993 (java) S 11986 11986 25100 0 -1 1077944384 66646 0 0 0 8234 237 0 0 20 0 15 0 53898928 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692965112080 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11994] ppid=11986 vsize=12919328 CPUtime=18.77 cores=0,2,4,6
/proc/11988/task/11994/stat : 11994 (java) R 11986 11986 25100 0 -1 4202560 40948 0 0 0 1872 5 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692319827392 140693343122294 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11995] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11995/stat : 11995 (java) S 11986 11986 25100 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 53898929 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692318774880 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11996] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11996/stat : 11996 (java) S 11986 11986 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 53898930 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692317721968 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11997] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/11997/stat : 11997 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692316670288 140693364770715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11998] ppid=11986 vsize=12919328 CPUtime=0.2 cores=0,2,4,6
/proc/11988/task/11998/stat : 11998 (java) S 11986 11986 25100 0 -1 1077944384 1737 0 0 0 20 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692315617408 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=11999] ppid=11986 vsize=12919328 CPUtime=0.19 cores=0,2,4,6
/proc/11988/task/11999/stat : 11999 (java) S 11986 11986 25100 0 -1 1077944384 1181 0 0 0 19 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692314564896 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12000] ppid=11986 vsize=12919328 CPUtime=0.35 cores=0,2,4,6
/proc/11988/task/12000/stat : 12000 (java) S 11986 11986 25100 0 -1 1077944384 4656 0 0 0 34 1 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692313512096 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12001] ppid=11986 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/11988/task/12001/stat : 12001 (java) S 11986 11986 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53898932 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692312459488 140693364762325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
[pid=11988/tid=12002] ppid=11986 vsize=12919328 CPUtime=0.13 cores=0,2,4,6
/proc/11988/task/12002/stat : 12002 (java) S 11986 11986 25100 0 -1 1077944384 286 0 0 0 8 5 0 0 20 0 15 0 53898939 13229391872 2430405 18446744073709551615 4194304 4196468 140722750346992 140692311407792 140693364763266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10022912 140722750353878 140722750354054 140722750354054 140722750357455 0
Current children cumulated CPU time (s) 464.66
Current children cumulated vsize (KiB) 12928840
Child status: 1
Real time (s): 210.384
CPU time (s): 464.756
CPU user time (s): 455.115
CPU system time (s): 9.64024
CPU usage (%): 220.908
Max. virtual memory (cumulated for all children) (KiB): 12928840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 455.115
system time used= 9.64024
maximum resident set size= 9721836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9627
involuntary context switches= 5481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19132 second user time and 1.30144 second system time
The end