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-4249145-1500694038/watcher-4249145-1500694038 -o /tmp/evaluation-result-4249145-1500694038/solver-4249145-1500694038 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1867381110 HOME/instance-4249145-1500694038.xml
pid=10091
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.45 15.56 15.27 9/270 10094
/proc/meminfo: memFree=28376932/32770624 swapFree=5808/121528
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.45 15.56 15.27 9/270 10094
/proc/meminfo: memFree=28376932/32770624 swapFree=5808/121528
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200288 s]
/proc/loadavg: 15.45 15.56 15.27 9/270 10094
/proc/meminfo: memFree=28376932/32770624 swapFree=5808/121528
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.3002 s]
/proc/loadavg: 15.45 15.56 15.27 9/270 10094
/proc/meminfo: memFree=28376932/32770624 swapFree=5808/121528
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700154 s]
/proc/loadavg: 15.45 15.56 15.27 9/270 10094
/proc/meminfo: memFree=28376932/32770624 swapFree=5808/121528
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50082 s]
/proc/loadavg: 15.45 15.56 15.27 11/291 10115
/proc/meminfo: memFree=28282972/32770624 swapFree=5808/121900
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[pid=10095] ppid=10094 vsize=13269256 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/10095/stat : 10095 (java) S 10094 10094 15196 0 -1 1077944320 14980 0 0 0 278 6 0 0 20 0 20 0 4668946 13587718144 29634 33554432000 4194304 4196468 140737193218992 140737193201536 140581278113527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
/proc/10095/statm: 3317314 29634 3199 1 0 3304547 0
[pid=10095/tid=10096] ppid=10094 vsize=13269256 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10096/stat : 10096 (java) R 10094 10094 15196 0 -1 4202560 6855 0 0 0 144 4 0 0 20 0 20 0 4668946 13587718144 29634 33554432000 4194304 4196468 140737193218992 140581282349368 140580876873222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10098] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10098/stat : 10098 (java) S 10094 10094 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140581196593424 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10099] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10099/stat : 10099 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140581195540880 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10100] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10100/stat : 10100 (java) S 10094 10094 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140581194488336 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10101] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10101/stat : 10101 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140581193435792 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10102] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10102/stat : 10102 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580873038608 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10103] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10103/stat : 10103 (java) S 10094 10094 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580871986064 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10104] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10104/stat : 10104 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580870933520 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10105] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10105/stat : 10105 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4668947 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580869880976 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10106] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10106/stat : 10106 (java) S 10094 10094 15196 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4668949 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580471920624 140581278124674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10107] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580470866848 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580469814256 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10110] ppid=10094 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10110/stat : 10110 (java) S 10094 10094 15196 0 -1 1077944384 2330 0 0 0 32 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580467710448 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10111] ppid=10094 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10111/stat : 10111 (java) S 10094 10094 15196 0 -1 1077944384 940 0 0 0 34 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580466657904 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10112] ppid=10094 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10112/stat : 10112 (java) S 10094 10094 15196 0 -1 1077944384 1628 0 0 0 33 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580465605360 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10113] ppid=10094 vsize=13269256 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10113/stat : 10113 (java) S 10094 10094 15196 0 -1 1077944384 1908 0 0 0 35 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580464552816 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10114] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10114/stat : 10114 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580463499488 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10115] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10115/stat : 10115 (java) S 10094 10094 15196 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 29634 33554432000 4194304 4196468 140737193218992 140580462447024 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 13278768
[startup+3.10082 s]
/proc/loadavg: 15.45 15.56 15.27 10/291 10115
/proc/meminfo: memFree=28246916/32770624 swapFree=5808/121908
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[pid=10095] ppid=10094 vsize=13269256 CPUtime=5.29 cores=0,2,4,6,8,10,12,14
/proc/10095/stat : 10095 (java) S 10094 10094 15196 0 -1 1077944320 20976 0 0 0 482 47 0 0 20 0 20 0 4668946 13587718144 65870 33554432000 4194304 4196468 140737193218992 140737193201536 140581278113527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
/proc/10095/statm: 3317314 65870 3231 1 0 3304547 0
[pid=10095/tid=10096] ppid=10094 vsize=13269256 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10096/stat : 10096 (java) R 10094 10094 15196 0 -1 4202560 9096 0 0 0 294 5 0 0 20 0 20 0 4668946 13587718144 65870 33554432000 4194304 4196468 140737193218992 140581282348936 140580876533424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10098] ppid=10094 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10098/stat : 10098 (java) S 10094 10094 15196 0 -1 1077944384 142 0 0 0 2 4 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140581196593424 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10099] ppid=10094 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10099/stat : 10099 (java) S 10094 10094 15196 0 -1 1077944384 54 0 0 0 1 5 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140581195540880 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10100] ppid=10094 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10100/stat : 10100 (java) S 10094 10094 15196 0 -1 1077944384 73 0 0 0 2 5 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140581194488336 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10101] ppid=10094 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10101/stat : 10101 (java) S 10094 10094 15196 0 -1 1077944384 137 0 0 0 2 5 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140581193435792 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10102] ppid=10094 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10102/stat : 10102 (java) S 10094 10094 15196 0 -1 1077944384 77 0 0 0 2 5 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580873038608 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10103] ppid=10094 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10103/stat : 10103 (java) S 10094 10094 15196 0 -1 1077944384 53 0 0 0 2 5 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580871986064 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10104] ppid=10094 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10104/stat : 10104 (java) S 10094 10094 15196 0 -1 1077944384 82 0 0 0 3 4 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580870933520 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10105] ppid=10094 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10105/stat : 10105 (java) S 10094 10094 15196 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 4668947 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580869880976 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10106] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10106/stat : 10106 (java) S 10094 10094 15196 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 20 0 4668949 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580471920624 140581278124674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10107] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580470866848 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580469814256 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10110] ppid=10094 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10110/stat : 10110 (java) S 10094 10094 15196 0 -1 1077944384 3144 0 0 0 45 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580467710448 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10111] ppid=10094 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10111/stat : 10111 (java) S 10094 10094 15196 0 -1 1077944384 1359 0 0 0 40 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580466657904 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10112] ppid=10094 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10112/stat : 10112 (java) S 10094 10094 15196 0 -1 1077944384 2300 0 0 0 40 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580465605360 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10113] ppid=10094 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10113/stat : 10113 (java) S 10094 10094 15196 0 -1 1077944384 2832 0 0 0 42 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580464552816 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10114] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10114/stat : 10114 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580463499488 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10115] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10115/stat : 10115 (java) S 10094 10094 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 65870 33554432000 4194304 4196468 140737193218992 140580462447024 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13278768
[startup+6.30217 s]
/proc/loadavg: 14.93 15.45 15.24 10/291 10115
/proc/meminfo: memFree=28116048/32770624 swapFree=5808/121908
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[pid=10095] ppid=10094 vsize=13269256 CPUtime=10.25 cores=0,2,4,6,8,10,12,14
/proc/10095/stat : 10095 (java) S 10094 10094 15196 0 -1 1077944320 25692 0 0 0 904 121 0 0 20 0 20 0 4668946 13587718144 102072 33554432000 4194304 4196468 140737193218992 140737193201536 140581278113527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
/proc/10095/statm: 3317314 102072 3236 1 0 3304547 0
[pid=10095/tid=10096] ppid=10094 vsize=13269256 CPUtime=6.05 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10096/stat : 10096 (java) R 10094 10094 15196 0 -1 4202560 9155 0 0 0 600 5 0 0 20 0 20 0 4668946 13587718144 102072 33554432000 4194304 4196468 140737193218992 140581282350976 140580876773501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10098] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10098/stat : 10098 (java) S 10094 10094 15196 0 -1 1077944384 275 0 0 0 6 14 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140581196593424 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10099] ppid=10094 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10099/stat : 10099 (java) S 10094 10094 15196 0 -1 1077944384 130 0 0 0 5 13 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140581195540880 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10100] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10100/stat : 10100 (java) S 10094 10094 15196 0 -1 1077944384 188 0 0 0 7 13 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140581194488336 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10101] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10101/stat : 10101 (java) S 10094 10094 15196 0 -1 1077944384 248 0 0 0 6 14 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140581193435792 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10102] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10102/stat : 10102 (java) S 10094 10094 15196 0 -1 1077944384 168 0 0 0 6 14 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580873038608 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10103] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10103/stat : 10103 (java) S 10094 10094 15196 0 -1 1077944384 200 0 0 0 6 14 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580871986064 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10104] ppid=10094 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10104/stat : 10104 (java) S 10094 10094 15196 0 -1 1077944384 172 0 0 0 7 13 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580870933520 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10105] ppid=10094 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10105/stat : 10105 (java) S 10094 10094 15196 0 -1 1077944384 143 0 0 0 6 11 0 0 20 0 20 0 4668947 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580869880976 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10106] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10106/stat : 10106 (java) S 10094 10094 15196 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 20 0 4668949 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580471920624 140581278124674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10107] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580470866912 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4668950 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580469814272 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4668954 13587718144 102072 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
################
# More data... #
################
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580470866912 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580469814272 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10110] ppid=10094 vsize=13801768 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10110/stat : 10110 (java) S 10094 10094 15196 0 -1 1077944384 9426 0 0 0 282 1 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580467710448 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10111] ppid=10094 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10111/stat : 10111 (java) S 10094 10094 15196 0 -1 1077944384 7590 0 0 0 271 1 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580466657904 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10112] ppid=10094 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10112/stat : 10112 (java) S 10094 10094 15196 0 -1 1077944384 6569 0 0 0 201 1 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580465605360 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10113] ppid=10094 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10113/stat : 10113 (java) S 10094 10094 15196 0 -1 1077944384 4891 0 0 0 87 1 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580464552816 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10114] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10114/stat : 10114 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580463499488 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10115] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10115/stat : 10115 (java) S 10094 10094 15196 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580462447024 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10116] ppid=10094 vsize=13801768 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10116/stat : 10116 (java) R 10094 10094 15196 0 -1 4202560 99 0 0 0 234 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580386491168 140580879503916 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10117] ppid=10094 vsize=13801768 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10117/stat : 10117 (java) R 10094 10094 15196 0 -1 4202560 52 0 0 0 219 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580385439760 140580878901363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10118] ppid=10094 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10118/stat : 10118 (java) R 10094 10094 15196 0 -1 4202560 59 0 0 0 209 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580384386992 140581258937633 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10119] ppid=10094 vsize=13801768 CPUtime=2.07 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10119/stat : 10119 (java) R 10094 10094 15196 0 -1 4202560 90 0 0 0 207 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580383334576 140580880001390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10120] ppid=10094 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10120/stat : 10120 (java) R 10094 10094 15196 0 -1 4202560 136 0 0 0 217 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580382282128 140580878902048 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10121] ppid=10094 vsize=13801768 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10121/stat : 10121 (java) R 10094 10094 15196 0 -1 4202560 49 0 0 0 234 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580381230096 140580879827308 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10122] ppid=10094 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10122/stat : 10122 (java) R 10094 10094 15196 0 -1 4202560 47 0 0 0 229 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580380176016 140580879395230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10123] ppid=10094 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10123/stat : 10123 (java) R 10094 10094 15196 0 -1 4202560 54 0 0 0 210 0 0 0 20 0 28 0 4670469 14133010432 239304 33554432000 4194304 4196468 140737193218992 140580379123568 140580880724802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
Current children cumulated CPU time (s) 47.02
Current children cumulated vsize (KiB) 13811280
[startup+18.8153 s]
/proc/loadavg: 14.02 15.23 15.17 17/299 10123
/proc/meminfo: memFree=27428828/32770624 swapFree=5808/121928
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[pid=10095] ppid=10094 vsize=13801768 CPUtime=50.31 cores=0,2,4,6,8,10,12,14
/proc/10095/stat : 10095 (java) S 10094 10094 15196 0 -1 1077944320 58656 0 0 0 4697 334 0 0 20 0 28 0 4668946 14133010432 239389 33554432000 4194304 4196468 140737193218992 140737193201536 140581278113527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
/proc/10095/statm: 3450442 239389 3278 1 0 3437675 0
[pid=10095/tid=10096] ppid=10094 vsize=13801768 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10096/stat : 10096 (java) S 10094 10094 15196 0 -1 1077944384 11315 0 0 0 1453 8 0 0 20 0 28 0 4668946 14133010432 239389 33554432000 4194304 4196468 140737193218992 140581282354304 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10098] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10098/stat : 10098 (java) S 10094 10094 15196 0 -1 1077944384 1883 0 0 0 40 37 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140581196593424 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10099] ppid=10094 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10099/stat : 10099 (java) S 10094 10094 15196 0 -1 1077944384 1769 0 0 0 36 40 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140581195540880 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10100] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10100/stat : 10100 (java) S 10094 10094 15196 0 -1 1077944384 2040 0 0 0 37 40 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140581194488336 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10101] ppid=10094 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10101/stat : 10101 (java) S 10094 10094 15196 0 -1 1077944384 1725 0 0 0 37 43 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140581193435792 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10102] ppid=10094 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10102/stat : 10102 (java) S 10094 10094 15196 0 -1 1077944384 1732 0 0 0 37 34 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580873038608 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10103] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10103/stat : 10103 (java) S 10094 10094 15196 0 -1 1077944384 1469 0 0 0 36 41 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580871986064 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10104] ppid=10094 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10104/stat : 10104 (java) S 10094 10094 15196 0 -1 1077944384 1773 0 0 0 37 41 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580870933520 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10105] ppid=10094 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10105/stat : 10105 (java) S 10094 10094 15196 0 -1 1077944384 1634 0 0 0 38 38 0 0 20 0 28 0 4668947 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580869880976 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10106] ppid=10094 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10106/stat : 10106 (java) S 10094 10094 15196 0 -1 1077944384 2327 0 0 0 5 0 0 0 20 0 28 0 4668949 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580471920624 140581278124674 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10107] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580470866912 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580469814272 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10110] ppid=10094 vsize=13801768 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10110/stat : 10110 (java) S 10094 10094 15196 0 -1 1077944384 9427 0 0 0 283 1 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580467710448 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10111] ppid=10094 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10111/stat : 10111 (java) S 10094 10094 15196 0 -1 1077944384 7590 0 0 0 271 1 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580466657904 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10112] ppid=10094 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10112/stat : 10112 (java) S 10094 10094 15196 0 -1 1077944384 6569 0 0 0 203 1 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580465605360 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10113] ppid=10094 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10113/stat : 10113 (java) S 10094 10094 15196 0 -1 1077944384 4891 0 0 0 87 1 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580464552816 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10114] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10114/stat : 10114 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580463499488 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10115] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10115/stat : 10115 (java) S 10094 10094 15196 0 -1 1077944384 467 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580462447024 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10116] ppid=10094 vsize=13801768 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10116/stat : 10116 (java) R 10094 10094 15196 0 -1 4202560 105 0 0 0 273 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580386491832 140580879503609 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10117] ppid=10094 vsize=13801768 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10117/stat : 10117 (java) R 10094 10094 15196 0 -1 4202560 58 0 0 0 261 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580385439896 140580879502792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10118] ppid=10094 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10118/stat : 10118 (java) R 10094 10094 15196 0 -1 4202560 66 0 0 0 249 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580384387800 140580880508011 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10119] ppid=10094 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10119/stat : 10119 (java) R 10094 10094 15196 0 -1 4202560 101 0 0 0 249 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580383334712 140580879505365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10120] ppid=10094 vsize=13801768 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10120/stat : 10120 (java) R 10094 10094 15196 0 -1 4202560 141 0 0 0 258 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580382282264 140580879504255 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10121] ppid=10094 vsize=13801768 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10121/stat : 10121 (java) R 10094 10094 15196 0 -1 4202560 68 0 0 0 276 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580381230096 140580880732283 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10122] ppid=10094 vsize=13801768 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10122/stat : 10122 (java) R 10094 10094 15196 0 -1 4202560 62 0 0 0 270 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580380176152 140580881004347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10123] ppid=10094 vsize=13801768 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10123/stat : 10123 (java) R 10094 10094 15196 0 -1 4202560 80 0 0 0 251 0 0 0 20 0 28 0 4670469 14133010432 239389 33554432000 4194304 4196468 140737193218992 140580379123704 140581258956473 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 13811280
[startup+18.9017 s]
/proc/loadavg: 14.02 15.23 15.17 17/299 10123
/proc/meminfo: memFree=27428828/32770624 swapFree=5808/121928
[pid=10094] ppid=10091 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10094/stat : 10094 (xcsp3-exec) S 10091 10094 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4668945 9740288 346 33554432000 4194304 5098028 140737248265712 140737248263816 139870774088316 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34643968 140737248273550 140737248273760 140737248273760 140737248276459 0
/proc/10094/statm: 2378 346 289 221 0 87 0
[pid=10095] ppid=10094 vsize=13801768 CPUtime=51 cores=0,2,4,6,8,10,12,14
/proc/10095/stat : 10095 (java) S 10094 10094 15196 0 -1 1077944320 60649 0 0 0 4765 335 0 0 20 0 28 0 4668946 14133010432 239615 33554432000 4194304 4196468 140737193218992 140737193201536 140581278113527 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
/proc/10095/statm: 3450442 239615 3279 1 0 3437675 0
[pid=10095/tid=10096] ppid=10094 vsize=13801768 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10096/stat : 10096 (java) S 10094 10094 15196 0 -1 1077944384 11315 0 0 0 1453 8 0 0 20 0 28 0 4668946 14133010432 239615 33554432000 4194304 4196468 140737193218992 140581282354304 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10098] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10098/stat : 10098 (java) S 10094 10094 15196 0 -1 1077944384 1883 0 0 0 40 37 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140581196593424 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10099] ppid=10094 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10099/stat : 10099 (java) S 10094 10094 15196 0 -1 1077944384 1769 0 0 0 36 40 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140581195540880 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10100] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10100/stat : 10100 (java) S 10094 10094 15196 0 -1 1077944384 2040 0 0 0 37 40 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140581194488336 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10101] ppid=10094 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10101/stat : 10101 (java) S 10094 10094 15196 0 -1 1077944384 1725 0 0 0 37 43 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140581193435792 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10102] ppid=10094 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10102/stat : 10102 (java) S 10094 10094 15196 0 -1 1077944384 1732 0 0 0 37 34 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580873038608 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10103] ppid=10094 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10103/stat : 10103 (java) S 10094 10094 15196 0 -1 1077944384 1469 0 0 0 36 41 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580871986064 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10104] ppid=10094 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10104/stat : 10104 (java) S 10094 10094 15196 0 -1 1077944384 1773 0 0 0 37 41 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580870933520 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10105] ppid=10094 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10105/stat : 10105 (java) S 10094 10094 15196 0 -1 1077944384 1634 0 0 0 38 38 0 0 20 0 28 0 4668947 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580869880976 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10106] ppid=10094 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10106/stat : 10106 (java) S 10094 10094 15196 0 -1 1077944384 2327 0 0 0 5 0 0 0 20 0 28 0 4668949 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580471920624 140581278124674 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10107] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10107/stat : 10107 (java) S 10094 10094 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580470866912 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10108] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10108/stat : 10108 (java) S 10094 10094 15196 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 4668950 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580469814272 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10109] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10109/stat : 10109 (java) S 10094 10094 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580468762832 140581278132123 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10110] ppid=10094 vsize=13801768 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10110/stat : 10110 (java) S 10094 10094 15196 0 -1 1077944384 9984 0 0 0 284 1 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580467710448 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10111] ppid=10094 vsize=13801768 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10111/stat : 10111 (java) S 10094 10094 15196 0 -1 1077944384 7640 0 0 0 271 1 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580466657904 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10112] ppid=10094 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10112/stat : 10112 (java) S 10094 10094 15196 0 -1 1077944384 7101 0 0 0 205 1 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580465605360 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10113] ppid=10094 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10113/stat : 10113 (java) S 10094 10094 15196 0 -1 1077944384 5282 0 0 0 87 1 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580464552816 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10114] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10114/stat : 10114 (java) S 10094 10094 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580463499488 140581278123733 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10115] ppid=10094 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10115/stat : 10115 (java) S 10094 10094 15196 0 -1 1077944384 489 0 0 0 0 0 0 0 20 0 28 0 4668954 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580462447024 140581278124674 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10116] ppid=10094 vsize=13801768 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10116/stat : 10116 (java) R 10094 10094 15196 0 -1 4202560 252 0 0 0 282 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580386491832 140580880001390 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10117] ppid=10094 vsize=13801768 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10117/stat : 10117 (java) R 10094 10094 15196 0 -1 4202560 77 0 0 0 269 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580385439896 140580879394441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10118] ppid=10094 vsize=13801768 CPUtime=2.56 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10118/stat : 10118 (java) R 10094 10094 15196 0 -1 4202560 111 0 0 0 256 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580384387800 140580879827373 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10119] ppid=10094 vsize=13801768 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10119/stat : 10119 (java) R 10094 10094 15196 0 -1 4202560 156 0 0 0 257 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580383334712 140580878902042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10120] ppid=10094 vsize=13801768 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10120/stat : 10120 (java) R 10094 10094 15196 0 -1 4202560 212 0 0 0 264 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580382284664 140580880728397 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10121] ppid=10094 vsize=13801768 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10121/stat : 10121 (java) R 10094 10094 15196 0 -1 4202560 118 0 0 0 284 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580381230096 140580880508040 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10122] ppid=10094 vsize=13801768 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10122/stat : 10122 (java) R 10094 10094 15196 0 -1 4202560 77 0 0 0 279 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580380176152 140580879504373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
[pid=10095/tid=10123] ppid=10094 vsize=13801768 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/10095/task/10123/stat : 10123 (java) R 10094 10094 15196 0 -1 4202560 119 0 0 0 259 0 0 0 20 0 28 0 4670469 14133010432 239615 33554432000 4194304 4196468 140737193218992 140580379123704 140580880723474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8966144 140737193223356 140737193223532 140737193223532 140737193226191 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 18.9833
CPU time (s): 51.5655
CPU user time (s): 48.2015
CPU system time (s): 3.36402
CPU usage (%): 271.637
Max. virtual memory (cumulated for all children) (KiB): 13812916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2015
system time used= 3.36402
maximum resident set size= 959892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5259
involuntary context switches= 4081
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.163854 second user time and 0.214639 second system time
The end