runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10734 MiB free)
memory of node 1: 16384 MiB (12135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284551-1503214065/watcher-4284551-1503214065 -o /tmp/evaluation-result-4284551-1503214065/solver-4284551-1503214065 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 533181068 HOME/instance-4284551-1503214065.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7081, runsolver pid=7078
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.42 1.66 1.74 3/218 7097
/proc/meminfo: memFree=23401656/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13978596 memory=28808 CPUtime=0.12 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 5096 0 0 0 11 1 0 0 20 0 15 0 154494173 14314082304 7202 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3494649 7202 2867 1 0 3482966 0
[pid=7083/tid=7084] ppid=7081 vsize=13978596 memory=7971836018889560923 CPUtime=0.09 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 3063 0 0 0 8 1 0 0 20 0 15 0 154494174 14314082304 7268 33554432000 4194304 4196468 140721643335664 139750201078656 139750196863578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14314082304 7268 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13978596 memory=140508517402240 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14314082304 7268 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494175 14314082304 7268 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14314082304 7268 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13978596 memory=140508517402240 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494176 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154494176 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749691958176 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154494177 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749690905584 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13978596 memory=140508517402240 CPUtime=0.01 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13978596 memory=140508517402240 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494179 14314082304 7268 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30192 KiB
[startup+0.210879 s]*
/proc/loadavg: 1.42 1.66 1.74 4/218 7097
/proc/meminfo: memFree=23390848/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13982852 memory=40560 CPUtime=0.33 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 7774 0 0 0 31 2 0 0 20 0 15 0 154494173 14318440448 10140 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3495713 10140 3066 1 0 3482966 0
[pid=7083/tid=7084] ppid=7081 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 4926 0 0 0 18 1 0 0 20 0 15 0 154494174 14318440448 10140 33554432000 4194304 4196468 140721643335664 139750201069008 139750189520245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 10140 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13982852 memory=140508517511669 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 10140 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 10140 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 10140 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13982852 memory=140508517402240 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494176 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154494176 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749691958176 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154494177 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749690905584 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13982852 memory=140508517402240 CPUtime=0.08 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 755 0 0 0 8 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 10140 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41944 KiB
[startup+0.311014 s]*
/proc/loadavg: 1.42 1.66 1.74 4/218 7097
/proc/meminfo: memFree=23383528/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13982852 memory=47544 CPUtime=0.5 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 8570 0 0 0 47 3 0 0 20 0 15 0 154494173 14318440448 11886 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3495713 11886 3094 1 0 3482966 0
[pid=7083/tid=7084] ppid=7081 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 5511 0 0 0 27 2 0 0 20 0 15 0 154494174 14318440448 11886 33554432000 4194304 4196468 140721643335664 139750201078480 139750180922718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 11886 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 11886 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 11886 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14318440448 11886 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494176 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154494176 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749691958176 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154494177 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749690905584 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 582 0 0 0 4 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 308 0 0 0 3 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) R 7081 7081 3809 0 -1 4202560 868 0 0 0 12 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749686696688 139750180922718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494179 14318440448 11886 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48928 KiB
[startup+0.700848 s]
/proc/loadavg: 1.42 1.66 1.74 4/218 7097
/proc/meminfo: memFree=23360520/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13984976 memory=77304 CPUtime=1.45 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 10828 0 0 0 141 4 0 0 20 0 15 0 154494173 14320615424 19326 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3496244 19326 3190 1 0 3483478 0
[pid=7083/tid=7084] ppid=7081 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 5898 0 0 0 64 3 0 0 20 0 15 0 154494174 14320615424 19326 33554432000 4194304 4196468 140721643335664 139750201076480 139750196854166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14320615424 19326 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14320615424 19326 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494175 14320615424 19326 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154494175 14320615424 19326 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154494176 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154494176 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749691958176 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154494177 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749690905584 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13984976 memory=11112 CPUtime=0.25 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 1274 0 0 0 25 0 0 0 20 0 15 0 154494179 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13984976 memory=1228 CPUtime=0.25 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 932 0 0 0 25 0 0 0 20 0 15 0 154494179 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13984976 memory=1420 CPUtime=0.26 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) D 7081 7081 3809 0 -1 4202560 1415 0 0 0 26 0 0 0 20 0 15 0 154494179 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749686693624 139750189559383 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 19326 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 19838 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78688 KiB
[startup+1.50078 s]
/proc/loadavg: 1.42 1.66 1.74 3/218 7097
/proc/meminfo: memFree=23338848/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154494177 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749690905584 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13984976 memory=8387223549236478041 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13984976 memory=42904 CPUtime=4.82 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 17459 0 0 0 480 2 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13984976 memory=1296 CPUtime=4.96 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 15912 0 0 0 494 2 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13984976 memory=2428 CPUtime=0.87 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 6909 0 0 0 85 2 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13984976 memory=1716 CPUtime=0.04 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 156 0 0 0 2 2 0 0 20 0 15 0 154494179 14320615424 117422 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 114.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 471072 KiB
[startup+162.301 s]
/proc/loadavg: 1.72 1.72 1.75 3/217 7179
/proc/meminfo: memFree=23089956/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13984976 memory=584620 CPUtime=176.63 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 70825 0 0 0 17572 91 0 0 20 0 15 0 154494173 14320615424 146155 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3496244 146155 3281 1 0 3483478 0
[pid=7083/tid=7084] ppid=7081 vsize=13984976 memory=588724 CPUtime=161.03 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 16039 0 0 0 16096 7 0 0 20 0 15 0 154494174 14320615424 146155 33554432000 4194304 4196468 140721643335664 139750201081408 139749803887544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13984976 memory=584620 CPUtime=1.13 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2155 0 0 0 95 18 0 0 20 0 15 0 154494175 14320615424 146155 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13984976 memory=1384 CPUtime=1.12 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 1236 0 0 0 94 18 0 0 20 0 15 0 154494175 14320615424 146155 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13984976 memory=1384 CPUtime=1.13 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1833 0 0 0 95 18 0 0 20 0 15 0 154494175 14320615424 146155 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13984976 memory=604608 CPUtime=1.12 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 1427 0 0 0 94 18 0 0 20 0 15 0 154494175 14320615424 146155 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 2602 0 0 0 6 1 0 0 20 0 15 0 154494176 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154494176 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749691958240 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13984976 memory=584620 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154494177 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749690905600 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13984976 memory=588724 CPUtime=4.88 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 17937 0 0 0 486 2 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13984976 memory=840 CPUtime=5.13 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 17839 0 0 0 511 2 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13984976 memory=1692 CPUtime=0.88 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 8202 0 0 0 86 2 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 191 0 0 0 3 4 0 0 20 0 15 0 154494179 14320615424 146155 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 176.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 586004 KiB
[startup+222.301 s]
/proc/loadavg: 1.76 1.73 1.76 3/217 7180
/proc/meminfo: memFree=23199076/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13984976 memory=474920 CPUtime=238.01 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 74932 0 0 0 23707 94 0 0 20 0 15 0 154494173 14320615424 118730 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3496244 118730 3282 1 0 3483478 0
[pid=7083/tid=7084] ppid=7081 vsize=13984976 memory=474920 CPUtime=220.52 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 16653 0 0 0 22045 7 0 0 20 0 15 0 154494174 14320615424 118730 33554432000 4194304 4196468 140721643335664 139750201081680 139749801353946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13984976 memory=474920 CPUtime=1.55 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2329 0 0 0 137 18 0 0 20 0 15 0 154494175 14320615424 118730 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13984976 memory=1384 CPUtime=1.54 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 1332 0 0 0 136 18 0 0 20 0 15 0 154494175 14320615424 118730 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13984976 memory=1384 CPUtime=1.55 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1930 0 0 0 137 18 0 0 20 0 15 0 154494175 14320615424 118730 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13984976 memory=4140 CPUtime=1.54 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 1735 0 0 0 136 18 0 0 20 0 15 0 154494175 14320615424 118730 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13984976 memory=15876 CPUtime=0.15 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 3052 0 0 0 13 2 0 0 20 0 15 0 154494176 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154494176 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749691958240 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154494177 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749690905600 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13984976 memory=1384 CPUtime=4.89 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 18561 0 0 0 487 2 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13984976 memory=1384 CPUtime=5.2 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 18907 0 0 0 518 2 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13984976 memory=1384 CPUtime=0.89 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 8830 0 0 0 87 2 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13984976 memory=42904 CPUtime=0.1 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 239 0 0 0 4 6 0 0 20 0 15 0 154494179 14320615424 118730 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 238.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 476304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.83 1.75 1.76 3/217 7181
/proc/meminfo: memFree=23224160/32770624 swapFree=67108860/67108860
[pid=7081] ppid=7078 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7081/stat : 7081 (xcsp3-exec) S 7078 7081 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154494173 9740288 346 33554432000 4194304 5098028 140721543749920 140721543748024 139859233862268 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39772160 140721543758965 140721543759168 140721543759168 140721543761899 0
/proc/7081/statm: 2378 346 289 221 0 87 0
[pid=7083] ppid=7081 vsize=13984976 memory=448756 CPUtime=256.23 cores=1,3,5,7
/proc/7083/stat : 7083 (java) S 7081 7081 3809 0 -1 1077944320 77131 0 0 0 25528 95 0 0 20 0 15 0 154494173 14320615424 112189 33554432000 4194304 4196468 140721643335664 140721643318208 139750196842231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
/proc/7083/statm: 3496244 112189 3282 1 0 3483478 0
[pid=7083/tid=7084] ppid=7081 vsize=13984976 memory=8112282956445269571 CPUtime=238.09 cores=1,3,5,7
/proc/7083/task/7084/stat : 7084 (java) R 7081 7081 3809 0 -1 4202560 16922 0 0 0 23802 7 0 0 20 0 15 0 154494174 14320615424 112189 33554432000 4194304 4196468 140721643335664 139750201081792 139749798344852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7085] ppid=7081 vsize=13984976 memory=4126316290023845779 CPUtime=1.67 cores=1,3,5,7
/proc/7083/task/7085/stat : 7085 (java) S 7081 7081 3809 0 -1 1077944384 2348 0 0 0 149 18 0 0 20 0 15 0 154494175 14320615424 112189 33554432000 4194304 4196468 140721643335664 139750126930704 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7086] ppid=7081 vsize=13984976 memory=1788 CPUtime=1.67 cores=1,3,5,7
/proc/7083/task/7086/stat : 7086 (java) S 7081 7081 3809 0 -1 1077944384 1358 0 0 0 149 18 0 0 20 0 15 0 154494175 14320615424 112189 33554432000 4194304 4196468 140721643335664 139750125878160 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7087] ppid=7081 vsize=13984976 memory=952 CPUtime=1.68 cores=1,3,5,7
/proc/7083/task/7087/stat : 7087 (java) S 7081 7081 3809 0 -1 1077944384 1996 0 0 0 150 18 0 0 20 0 15 0 154494175 14320615424 112189 33554432000 4194304 4196468 140721643335664 139750124825616 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7088] ppid=7081 vsize=13984976 memory=8112282956445269571 CPUtime=1.66 cores=1,3,5,7
/proc/7083/task/7088/stat : 7088 (java) S 7081 7081 3809 0 -1 1077944384 1771 0 0 0 148 18 0 0 20 0 15 0 154494175 14320615424 112189 33554432000 4194304 4196468 140721643335664 139750123773072 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7089] ppid=7081 vsize=13984976 memory=466712 CPUtime=0.16 cores=1,3,5,7
/proc/7083/task/7089/stat : 7089 (java) S 7081 7081 3809 0 -1 1077944384 3056 0 0 0 14 2 0 0 20 0 15 0 154494176 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749693011952 139750196853378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7090] ppid=7081 vsize=13984976 memory=211268 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7090/stat : 7090 (java) S 7081 7081 3809 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154494176 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749691958240 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7091] ppid=7081 vsize=13984976 memory=23772 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7091/stat : 7091 (java) S 7081 7081 3809 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154494177 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749690905600 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7092] ppid=7081 vsize=13984976 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7092/stat : 7092 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749689854160 139750196860827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7093] ppid=7081 vsize=13984976 memory=8112282956445269571 CPUtime=5 cores=1,3,5,7
/proc/7083/task/7093/stat : 7093 (java) S 7081 7081 3809 0 -1 1077944384 20337 0 0 0 498 2 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749688801776 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7094] ppid=7081 vsize=13984976 memory=4126316290023845779 CPUtime=5.2 cores=1,3,5,7
/proc/7083/task/7094/stat : 7094 (java) S 7081 7081 3809 0 -1 1077944384 18907 0 0 0 518 2 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749687749232 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7095] ppid=7081 vsize=13984976 memory=928 CPUtime=0.89 cores=1,3,5,7
/proc/7083/task/7095/stat : 7095 (java) S 7081 7081 3809 0 -1 1077944384 8830 0 0 0 87 2 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749686696688 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7096] ppid=7081 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/7083/task/7096/stat : 7096 (java) S 7081 7081 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749685644384 139750196852437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
[pid=7083/tid=7097] ppid=7081 vsize=13984976 memory=4128 CPUtime=0.1 cores=1,3,5,7
/proc/7083/task/7097/stat : 7097 (java) S 7081 7081 3809 0 -1 1077944384 242 0 0 0 4 6 0 0 20 0 15 0 154494179 14320615424 112189 33554432000 4194304 4196468 140721643335664 139749684590896 139750196853378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140721643340957 140721643341132 140721643341132 140721643343823 0
Current children cumulated CPU time: 256.23 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 450140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 7081 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000953 s, system=0.000953 s
[startup+240.024 s]
# the end of solver process 7083 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.296 s, system=0.962921 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.024
CPU time (s): 256.259
CPU user time (s): 255.296
CPU system time (s): 0.962921
CPU usage (%): 106.764
Max. virtual memory (cumulated for all children) (KiB): 13996424
Max. memory (cumulated for all children) (KiB): 622092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.296
system time used= 0.962921
maximum resident set size= 623096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10650
involuntary context switches= 371
# summary of solver processes directly reported to runsolver:
# pid: 7081,7083
# total CPU time (s): 256.259
# total CPU user time (s): 255.296
# total CPU system time (s): 0.962921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5627 second user time and 2.36405 second system time
The end