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 (12497 MiB free)
memory of node 1: 16384 MiB (11441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284572-1503211992/watcher-4284572-1503211992 -o /tmp/evaluation-result-4284572-1503211992/solver-4284572-1503211992 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13389 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1635835176 HOME/instance-4284572-1503211992.xml
running on 4 cores: 0,2,4,6
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=15215, runsolver pid=15212
Current StackSize limit: 8192 KiB
[startup+0.102265 s]*
/proc/loadavg: 1.87 1.85 1.74 4/217 15231
/proc/meminfo: memFree=24491344/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13978596 memory=28620 CPUtime=0.13 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 5458 0 0 0 12 1 0 0 20 0 15 0 154286857 14314082304 7155 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3494649 7155 2897 1 0 3482966 0
[pid=15217/tid=15218] ppid=15215 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 3395 0 0 0 9 0 0 0 20 0 15 0 154286857 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589908697984 140589904473494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13978596 memory=140279735920256 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286858 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13978596 memory=140279735920256 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286859 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286860 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589376980128 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286860 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589375927024 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154286862 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13978596 memory=140279735920256 CPUtime=0.02 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) R 15215 15215 13358 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 154286862 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589371718128 140589884430256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13978596 memory=140279735920256 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286863 14314082304 7155 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30004 KiB
[startup+0.211734 s]*
/proc/loadavg: 1.87 1.85 1.74 4/217 15231
/proc/meminfo: memFree=24479848/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13982884 memory=40632 CPUtime=0.34 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 8237 0 0 0 32 2 0 0 20 0 15 0 154286857 14318473216 10158 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3495713 10158 3072 1 0 3482966 0
[pid=15217/tid=15218] ppid=15215 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 5365 0 0 0 18 1 0 0 20 0 15 0 154286857 14318473216 10158 33554432000 4194304 4196468 140733748532608 140589908672464 140589897141277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13982884 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318473216 10158 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13982852 memory=288370655887632000 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13982852 memory=140279735920256 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286859 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286860 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589376980128 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286860 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589375927024 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14318473216 10158 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13982884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 15 0 154286862 14318473216 10158 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 154286862 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13982852 memory=140279735920256 CPUtime=0.08 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 154286862 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589371718128 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286863 14318440448 10158 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42016 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.87 1.85 1.74 5/217 15231
/proc/meminfo: memFree=24473024/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13982852 memory=47500 CPUtime=0.51 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 9017 0 0 0 49 2 0 0 20 0 15 0 154286857 14318440448 11875 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3495713 11875 3116 1 0 3482966 0
[pid=15217/tid=15218] ppid=15215 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 5920 0 0 0 28 2 0 0 20 0 15 0 154286857 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589908698064 140589530377696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286858 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286859 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286860 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589376980128 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286860 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589375927024 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) R 15215 15215 13358 0 -1 4202560 668 0 0 0 3 0 0 0 20 0 15 0 154286862 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589373823728 140589888857953 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) R 15215 15215 13358 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 15 0 154286862 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 885 0 0 0 13 0 0 0 20 0 15 0 154286862 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589371715920 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286863 14318440448 11875 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48884 KiB
[startup+0.701322 s]
/proc/loadavg: 1.87 1.85 1.74 5/217 15231
/proc/meminfo: memFree=24445344/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13984976 memory=99404 CPUtime=1.83 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 12367 0 0 0 179 4 0 0 20 0 15 0 154286857 14320615424 24851 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3496244 24851 3206 1 0 3483478 0
[pid=15217/tid=15218] ppid=15215 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 6544 0 0 0 64 3 0 0 20 0 15 0 154286857 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589908682992 140589904483485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13984976 memory=42964 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286858 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154286858 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154286859 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589376980128 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589375927024 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13984976 memory=796 CPUtime=0.36 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 1403 0 0 0 36 0 0 0 20 0 15 0 154286862 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13984976 memory=10088 CPUtime=0.39 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) R 15215 15215 13358 0 -1 4202560 1195 0 0 0 39 0 0 0 20 0 15 0 154286862 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589372771184 140589888367738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13984976 memory=1948 CPUtime=0.38 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) R 15215 15215 13358 0 -1 1077944384 1919 0 0 0 38 0 0 0 20 0 15 0 154286862 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589371715920 140589904471765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154286863 14320615424 24851 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 100788 KiB
[startup+1.50138 s]
/proc/loadavg: 1.87 1.85 1.74 6/217 15231
/proc/meminfo: memFree=24405448/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589375927040 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13984976 memory=684 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13984976 memory=129 CPUtime=4.82 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 16362 0 0 0 481 1 0 0 20 0 15 0 154286862 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13984976 memory=1384 CPUtime=4.69 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 17430 0 0 0 467 2 0 0 20 0 15 0 154286862 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13984976 memory=1413344 CPUtime=0.87 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 5690 0 0 0 85 2 0 0 20 0 15 0 154286862 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589371718128 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13984976 memory=42980 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 322 0 0 0 2 2 0 0 20 0 15 0 154286863 14320615424 353336 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 114.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1414728 KiB
[startup+162.301 s]
/proc/loadavg: 1.77 1.83 1.75 3/218 15319
/proc/meminfo: memFree=22941508/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13984976 memory=1495448 CPUtime=176.04 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 76290 0 0 0 17501 103 0 0 20 0 15 0 154286857 14320615424 373862 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3496244 373862 3265 1 0 3483478 0
[pid=15217/tid=15218] ppid=15215 vsize=13984976 memory=1495448 CPUtime=161.28 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 20000 0 0 0 16110 18 0 0 20 0 15 0 154286857 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589908700672 140589537369205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.92 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 3484 0 0 0 74 18 0 0 20 0 15 0 154286858 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13984976 memory=2 CPUtime=0.91 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 2206 0 0 0 73 18 0 0 20 0 15 0 154286858 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13984976 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 1563 0 0 0 75 18 0 0 20 0 15 0 154286858 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13984976 memory=10088 CPUtime=0.94 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 1244 0 0 0 74 20 0 0 20 0 15 0 154286858 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13984976 memory=1948 CPUtime=0.02 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 1860 0 0 0 2 0 0 0 20 0 15 0 154286859 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589376980192 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589375927040 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13984976 memory=280559209748480 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13984976 memory=3089 CPUtime=5.03 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 18263 0 0 0 502 1 0 0 20 0 15 0 154286862 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13984976 memory=1384 CPUtime=4.96 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 19631 0 0 0 494 2 0 0 20 0 15 0 154286862 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13984976 memory=1498600 CPUtime=0.89 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 6336 0 0 0 87 2 0 0 20 0 15 0 154286862 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589371718128 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 354 0 0 0 4 4 0 0 20 0 15 0 154286863 14320615424 373862 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 176.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1496832 KiB
[startup+222.301 s]
/proc/loadavg: 1.62 1.78 1.74 3/218 15320
/proc/meminfo: memFree=22848580/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13984976 memory=1494348 CPUtime=238.33 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 86478 0 0 0 23693 140 0 0 20 0 15 0 154286857 14320615424 373587 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3496244 373587 3280 1 0 3483478 0
[pid=15217/tid=15218] ppid=15215 vsize=13984976 memory=1494844 CPUtime=220.44 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 22141 0 0 0 22026 18 0 0 20 0 15 0 154286857 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589908701328 140589537805810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13984976 memory=-8990767739041718176 CPUtime=1.65 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 4066 0 0 0 138 27 0 0 20 0 15 0 154286858 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13984976 memory=1384 CPUtime=1.63 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 2889 0 0 0 136 27 0 0 20 0 15 0 154286858 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13984976 memory=1494592 CPUtime=1.66 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 2314 0 0 0 139 27 0 0 20 0 15 0 154286858 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13984976 memory=960 CPUtime=1.64 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 1897 0 0 0 136 28 0 0 20 0 15 0 154286858 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13984976 memory=2424 CPUtime=0.14 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 5762 0 0 0 13 1 0 0 20 0 15 0 154286859 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589376980192 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589375927040 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13984976 memory=1494844 CPUtime=5.11 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 19527 0 0 0 510 1 0 0 20 0 15 0 154286862 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13984976 memory=1494844 CPUtime=4.98 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 19793 0 0 0 496 2 0 0 20 0 15 0 154286862 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.89 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 6345 0 0 0 87 2 0 0 20 0 15 0 154286862 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589371718128 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13984976 memory=1494844 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.11 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 395 0 0 0 6 5 0 0 20 0 15 0 154286863 14320615424 373587 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 238.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1495732 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.65 1.78 1.74 3/218 15320
/proc/meminfo: memFree=22811500/32770624 swapFree=67108860/67108860
[pid=15215] ppid=15212 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15215/stat : 15215 (xcsp3-exec) S 15212 15215 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154286857 9740288 346 33554432000 4194304 5098028 140723719312352 140723719310456 140131690242684 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23326720 140723719320692 140723719320896 140723719320896 140723719323627 0
/proc/15215/statm: 2378 346 289 221 0 87 0
[pid=15217] ppid=15215 vsize=13984976 memory=1493228 CPUtime=256.28 cores=0,2,4,6
/proc/15217/stat : 15217 (java) S 15215 15215 13358 0 -1 1077944320 87263 0 0 0 25482 146 0 0 20 0 15 0 154286857 14320615424 373307 33554432000 4194304 4196468 140733748532608 140733748515152 140589904461559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
/proc/15217/statm: 3496244 373307 3280 1 0 3483478 0
[pid=15217/tid=15218] ppid=15215 vsize=13984976 memory=6791534058613427641 CPUtime=238.07 cores=0,2,4,6
/proc/15217/task/15218/stat : 15218 (java) R 15215 15215 13358 0 -1 4202560 22452 0 0 0 23789 18 0 0 20 0 15 0 154286857 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589908701264 140589536897888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15219] ppid=15215 vsize=13984976 memory=4872558044660077418 CPUtime=1.72 cores=0,2,4,6
/proc/15217/task/15219/stat : 15219 (java) S 15215 15215 13358 0 -1 1077944384 4098 0 0 0 144 28 0 0 20 0 15 0 154286858 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589857082384 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15220] ppid=15215 vsize=13984976 memory=4616 CPUtime=1.71 cores=0,2,4,6
/proc/15217/task/15220/stat : 15220 (java) S 15215 15215 13358 0 -1 1077944384 2915 0 0 0 143 28 0 0 20 0 15 0 154286858 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589856029840 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15221] ppid=15215 vsize=13984976 memory=1720 CPUtime=1.73 cores=0,2,4,6
/proc/15217/task/15221/stat : 15221 (java) S 15215 15215 13358 0 -1 1077944384 2358 0 0 0 145 28 0 0 20 0 15 0 154286858 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589854976784 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15222] ppid=15215 vsize=13984976 memory=1004 CPUtime=1.72 cores=0,2,4,6
/proc/15217/task/15222/stat : 15222 (java) S 15215 15215 13358 0 -1 1077944384 1931 0 0 0 142 30 0 0 20 0 15 0 154286858 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589853924240 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15223] ppid=15215 vsize=13984976 memory=1384 CPUtime=0.14 cores=0,2,4,6
/proc/15217/task/15223/stat : 15223 (java) S 15215 15215 13358 0 -1 1077944384 5766 0 0 0 13 1 0 0 20 0 15 0 154286859 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589378033904 140589904472706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15224] ppid=15215 vsize=13984976 memory=1493228 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15224/stat : 15224 (java) S 15215 15215 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589376980192 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15225] ppid=15215 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15225/stat : 15225 (java) S 15215 15215 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154286860 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589375927040 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15226] ppid=15215 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15226/stat : 15226 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589374875600 140589904480155 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15227] ppid=15215 vsize=13984976 memory=1228 CPUtime=5.11 cores=0,2,4,6
/proc/15217/task/15227/stat : 15227 (java) S 15215 15215 13358 0 -1 1077944384 19527 0 0 0 510 1 0 0 20 0 15 0 154286862 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589373823728 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15228] ppid=15215 vsize=13984976 memory=796 CPUtime=4.98 cores=0,2,4,6
/proc/15217/task/15228/stat : 15228 (java) S 15215 15215 13358 0 -1 1077944384 19793 0 0 0 496 2 0 0 20 0 15 0 154286862 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589372771184 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15229] ppid=15215 vsize=13984976 memory=6791534058613427641 CPUtime=0.89 cores=0,2,4,6
/proc/15217/task/15229/stat : 15229 (java) S 15215 15215 13358 0 -1 1077944384 6673 0 0 0 87 2 0 0 20 0 15 0 154286862 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589371718128 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15230] ppid=15215 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/15217/task/15230/stat : 15230 (java) S 15215 15215 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154286862 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589370665824 140589904471765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
[pid=15217/tid=15231] ppid=15215 vsize=13984976 memory=2424 CPUtime=0.12 cores=0,2,4,6
/proc/15217/task/15231/stat : 15231 (java) S 15215 15215 13358 0 -1 1077944384 401 0 0 0 6 6 0 0 20 0 15 0 154286863 14320615424 373307 33554432000 4194304 4196468 140733748532608 140589369612848 140589904472706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140733748540573 140733748540748 140733748540748 140733748543439 0
Current children cumulated CPU time: 256.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1494612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 15215 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000976 s, system=0.000976 s
[startup+240.03 s]
# the end of solver process 15217 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.836 s, system=1.47687 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.03
CPU time (s): 256.313
CPU user time (s): 254.836
CPU system time (s): 1.47687
CPU usage (%): 106.784
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1588248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.836
system time used= 1.47687
maximum resident set size= 1597652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8932
involuntary context switches= 420
# summary of solver processes directly reported to runsolver:
# pid: 15215,15217
# total CPU time (s): 256.313
# total CPU user time (s): 254.836
# total CPU system time (s): 1.47687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43786 second user time and 2.47386 second system time
The end