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 (14183 MiB free)
memory of node 1: 16384 MiB (13297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282950-1503212966/watcher-4282950-1503212966 -o /tmp/evaluation-result-4282950-1503212966/solver-4282950-1503212966 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1863392713 HOME/instance-4282950-1503212966.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
Current StackSize limit: 8192 KiB
solver pid=24708, runsolver pid=24705
[startup+0.102236 s]*
/proc/loadavg: 2.06 2.08 1.96 3/217 24724
/proc/meminfo: memFree=28121028/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13978596 memory=28900 CPUtime=0.13 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 5095 0 0 0 12 1 0 0 20 0 15 0 154384736 14314082304 7225 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3494649 7225 2865 1 0 3482966 0
[pid=24710/tid=24711] ppid=24708 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 3029 0 0 0 9 1 0 0 20 0 15 0 154384736 14314082304 7225 33554432000 4194304 4196468 140736540677984 139653217927056 139653213717661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13978596 memory=139783280187008 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384737 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13978596 memory=139783280187008 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384738 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154384739 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652754044192 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154384739 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) R 24708 24708 21899 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13978596 memory=139783280187008 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) R 24708 24708 21899 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652748781936 139652824563833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13978596 memory=139783280187008 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384741 14314082304 7225 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30284 KiB
[startup+0.210678 s]*
/proc/loadavg: 2.06 2.08 1.96 3/217 24724
/proc/meminfo: memFree=28110856/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13982852 memory=40228 CPUtime=0.33 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 7753 0 0 0 31 2 0 0 20 0 15 0 154384736 14318440448 10057 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3495713 10057 3036 1 0 3482966 0
[pid=24710/tid=24711] ppid=24708 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 4902 0 0 0 18 1 0 0 20 0 15 0 154384736 14318440448 10057 33554432000 4194304 4196468 140736540677984 139653217905472 139653213707670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13982852 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13982852 memory=3688648562528671392 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384737 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13982852 memory=139783280187008 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384738 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154384739 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652754044192 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154384739 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 456 0 0 0 3 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13982852 memory=139783280187008 CPUtime=0.07 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) R 24708 24708 21899 0 -1 4202560 720 0 0 0 7 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652748781936 139653213707670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384741 14318440448 10057 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41612 KiB
[startup+0.31046 s]*
/proc/loadavg: 2.06 2.08 1.96 4/217 24724
/proc/meminfo: memFree=28103660/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13982928 memory=47916 CPUtime=0.51 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 8674 0 0 0 48 3 0 0 20 0 15 0 154384736 14318518272 11979 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3495732 11979 3123 1 0 3482966 0
[pid=24710/tid=24711] ppid=24708 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 5576 0 0 0 28 1 0 0 20 0 15 0 154384736 14318518272 11979 33554432000 4194304 4196468 140736540677984 139653217928096 139653197776222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13982928 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13982928 memory=4337868251985084448 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384737 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384738 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154384739 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652754044192 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154384739 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 567 0 0 0 4 0 0 0 20 0 15 0 154384741 14318518272 11979 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13982928 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 154384741 14318518272 11991 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) R 24708 24708 21899 0 -1 4202560 846 0 0 0 12 0 0 0 20 0 15 0 154384741 14318518272 11991 33554432000 4194304 4196468 140736540677984 139652748781936 139653192625171 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14318518272 11991 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384741 14318518272 11991 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49300 KiB
[startup+0.700813 s]
/proc/loadavg: 2.06 2.08 1.96 5/217 24724
/proc/meminfo: memFree=28080184/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13984976 memory=103620 CPUtime=1.65 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 20085 0 0 0 160 5 0 0 20 0 15 0 154384736 14320615424 25905 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3496244 25905 3195 1 0 3483478 0
[pid=24710/tid=24711] ppid=24708 vsize=13984976 memory=24620 CPUtime=0.68 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 6003 0 0 0 66 2 0 0 20 0 15 0 154384736 14320615424 25905 33554432000 4194304 4196468 140736540677984 139653217933184 139652827061142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384737 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154384737 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154384738 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652754044192 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13984976 memory=4316 CPUtime=0.34 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) R 24708 24708 21899 0 -1 4202560 5939 0 0 0 33 1 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652750871688 139653195240432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13984976 memory=2196 CPUtime=0.33 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) R 24708 24708 21899 0 -1 4202560 4445 0 0 0 33 0 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652749818584 139653198085318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13984976 memory=7784 CPUtime=0.27 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21899 0 -1 1077944384 2392 0 0 0 26 1 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652748781936 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 25905 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 105004 KiB
[startup+1.50119 s]
/proc/loadavg: 2.06 2.08 1.96 5/217 24724
/proc/meminfo: memFree=28027936/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13984976 memory=246232 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13984976 memory=246180 CPUtime=2.84 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 18492 0 0 0 282 2 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13984976 memory=1 CPUtime=2.77 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 19800 0 0 0 275 2 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13984976 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21899 0 -1 1077944384 8051 0 0 0 57 2 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652748781936 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13984976 memory=246248 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13984976 memory=4136 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1834 0 0 0 1 1 0 0 20 0 15 0 154384741 14320615424 61562 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 108.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 247632 KiB
[startup+162.301 s]
/proc/loadavg: 2.01 2.10 1.99 3/217 24726
/proc/meminfo: memFree=27853924/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13984976 memory=247360 CPUtime=168.72 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 68172 0 0 0 16857 15 0 0 20 0 15 0 154384736 14320615424 61840 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3496244 61840 3266 1 0 3483478 0
[pid=24710/tid=24711] ppid=24708 vsize=13984976 memory=247360 CPUtime=162.22 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 11840 0 0 0 16218 4 0 0 20 0 15 0 154384736 14320615424 61840 33554432000 4194304 4196468 140736540677984 139653217934536 139652829071365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13984976 memory=247360 CPUtime=0.01 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 941 0 0 0 1 0 0 0 20 0 15 0 154384737 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 856 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13984976 memory=247360 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 981 0 0 0 1 0 0 0 20 0 15 0 154384738 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13984976 memory=246264 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652754044256 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13984976 memory=247360 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13984976 memory=1384 CPUtime=2.87 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 19260 0 0 0 285 2 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13984976 memory=198392 CPUtime=2.82 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 21096 0 0 0 280 2 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13984976 memory=1724 CPUtime=0.6 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21899 0 -1 1077944384 9163 0 0 0 58 2 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652748781936 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13984976 memory=11104 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13984976 memory=1224 CPUtime=0.04 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1876 0 0 0 2 2 0 0 20 0 15 0 154384741 14320615424 61840 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 168.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248744 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 2.08 1.99 3/217 24806
/proc/meminfo: memFree=27884164/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13984976 memory=239192 CPUtime=228.82 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 68942 0 0 0 22865 17 0 0 20 0 15 0 154384736 14320615424 59798 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3496244 59798 3266 1 0 3483478 0
[pid=24710/tid=24711] ppid=24708 vsize=13984976 memory=239192 CPUtime=222.2 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 11883 0 0 0 22216 4 0 0 20 0 15 0 154384736 14320615424 59798 33554432000 4194304 4196468 140736540677984 139653217935184 139652830038502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13984976 memory=239192 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 950 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13984976 memory=239192 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 873 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13984976 memory=4136 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 1022 0 0 0 2 0 0 0 20 0 15 0 154384738 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652754044256 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13984976 memory=1384 CPUtime=2.88 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 19266 0 0 0 286 2 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13984976 memory=239192 CPUtime=2.87 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 21239 0 0 0 285 2 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13984976 memory=6791534058613427641 CPUtime=0.6 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21899 0 -1 1077944384 9329 0 0 0 58 2 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652748781936 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13984976 memory=11104 CPUtime=0.06 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1882 0 0 0 3 3 0 0 20 0 15 0 154384741 14320615424 59798 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 228.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 240576 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.99 2.07 1.99 3/217 24806
/proc/meminfo: memFree=27875040/32770624 swapFree=67108860/67108860
[pid=24708] ppid=24705 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24708/stat : 24708 (xcsp3-exec) S 24705 24708 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154384735 9740288 346 33554432000 4194304 5098028 140729219055248 140729219053352 139655716655740 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 17727488 140729219060852 140729219061056 140729219061056 140729219063787 0
/proc/24708/statm: 2378 346 289 221 0 87 0
[pid=24710] ppid=24708 vsize=13984976 memory=236148 CPUtime=246.56 cores=0,2,4,6
/proc/24710/stat : 24710 (java) S 24708 24708 21899 0 -1 1077944320 70785 0 0 0 24639 17 0 0 20 0 15 0 154384736 14320615424 59037 33554432000 4194304 4196468 140736540677984 140736540660528 139653213695735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
/proc/24710/statm: 3496244 59037 3267 1 0 3483478 0
[pid=24710/tid=24711] ppid=24708 vsize=13984976 memory=6791534058613427641 CPUtime=239.9 cores=0,2,4,6
/proc/24710/task/24711/stat : 24711 (java) R 24708 24708 21899 0 -1 4202560 12273 0 0 0 23986 4 0 0 20 0 15 0 154384736 14320615424 59037 33554432000 4194304 4196468 140736540677984 139653217932296 139652830914298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24712] ppid=24708 vsize=13984976 memory=4872558044660077418 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24712/stat : 24712 (java) S 24708 24708 21899 0 -1 1077944384 950 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652809537936 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24713] ppid=24708 vsize=13984976 memory=290 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24713/stat : 24713 (java) S 24708 24708 21899 0 -1 1077944384 874 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652808485136 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24714] ppid=24708 vsize=13984976 memory=287 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24714/stat : 24714 (java) S 24708 24708 21899 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652807432848 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24715] ppid=24708 vsize=13984976 memory=60 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24715/stat : 24715 (java) S 24708 24708 21899 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 154384737 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652806380048 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24716] ppid=24708 vsize=13984976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24710/task/24716/stat : 24716 (java) S 24708 24708 21899 0 -1 1077944384 1027 0 0 0 2 0 0 0 20 0 15 0 154384738 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652755098224 139653213706882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24717] ppid=24708 vsize=13984976 memory=6 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24717/stat : 24717 (java) S 24708 24708 21899 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652754044256 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24718] ppid=24708 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24718/stat : 24718 (java) S 24708 24708 21899 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154384739 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652752991856 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24719] ppid=24708 vsize=13984976 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24719/stat : 24719 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652751940176 139653213714331 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24720] ppid=24708 vsize=13984976 memory=1424 CPUtime=2.9 cores=0,2,4,6
/proc/24710/task/24720/stat : 24720 (java) S 24708 24708 21899 0 -1 1077944384 20693 0 0 0 288 2 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652750887024 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24721] ppid=24708 vsize=13984976 memory=8608 CPUtime=2.87 cores=0,2,4,6
/proc/24710/task/24721/stat : 24721 (java) S 24708 24708 21899 0 -1 1077944384 21242 0 0 0 285 2 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652749834224 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24722] ppid=24708 vsize=13984976 memory=1724 CPUtime=0.6 cores=0,2,4,6
/proc/24710/task/24722/stat : 24722 (java) S 24708 24708 21899 0 -1 1077944384 9336 0 0 0 58 2 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652748781936 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24723] ppid=24708 vsize=13984976 memory=11104 CPUtime=0 cores=0,2,4,6
/proc/24710/task/24723/stat : 24723 (java) S 24708 24708 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652747729376 139653213705941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
[pid=24710/tid=24724] ppid=24708 vsize=13984976 memory=4136 CPUtime=0.06 cores=0,2,4,6
/proc/24710/task/24724/stat : 24724 (java) S 24708 24708 21899 0 -1 1077944384 1892 0 0 0 3 3 0 0 20 0 15 0 154384741 14320615424 59037 33554432000 4194304 4196468 140736540677984 139652746677168 139653213706882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37810176 140736540685469 140736540685644 140736540685644 140736540688335 0
Current children cumulated CPU time: 246.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 237532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 24708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00202 s, system=0 s
[startup+240.023 s]
# the end of solver process 24710 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.406 s, system=0.180103 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.023
CPU time (s): 246.586
CPU user time (s): 246.406
CPU system time (s): 0.180103
CPU usage (%): 102.734
Max. virtual memory (cumulated for all children) (KiB): 13996968
Max. memory (cumulated for all children) (KiB): 248744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.406
system time used= 0.180103
maximum resident set size= 253516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71694
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= 8013
involuntary context switches= 370
# summary of solver processes directly reported to runsolver:
# pid: 24708,24710
# total CPU time (s): 246.586
# total CPU user time (s): 246.406
# total CPU system time (s): 0.180103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47965 second user time and 2.14179 second system time
The end