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 (10436 MiB free)
memory of node 1: 16384 MiB (9387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284193-1503214776/watcher-4284193-1503214776 -o /tmp/evaluation-result-4284193-1503214776/solver-4284193-1503214776 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 744832879 HOME/instance-4284193-1503214776.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24438, runsolver pid=24435
Current StackSize limit: 8192 KiB
[startup+0.106504 s]*
/proc/loadavg: 1.96 1.88 1.77 4/217 24454
/proc/meminfo: memFree=20281380/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13978596 memory=29340 CPUtime=0.13 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 5129 0 0 0 12 1 0 0 20 0 15 0 154565244 14314082304 7335 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3494649 7335 2896 1 0 3482966 0
[pid=24440/tid=24441] ppid=24438 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 3068 0 0 0 8 1 0 0 20 0 15 0 154565244 14314082304 7335 33554432000 4194304 4196468 140733844869136 139920469227168 139920465005974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14314082304 7335 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13978596 memory=140711404598912 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14314082304 7335 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14314082304 7335 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565245 14314082304 7335 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13978596 memory=140711404598912 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565246 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154565247 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919375442976 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154565247 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919374390128 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154565249 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565249 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13978596 memory=140711404598912 CPUtime=0.02 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) R 24438 24438 19988 0 -1 4202560 332 0 0 0 2 0 0 0 20 0 15 0 154565249 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919370181232 139920457332320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13978596 memory=140711404598912 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565250 14314082304 7335 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30720 KiB
[startup+0.210665 s]*
/proc/loadavg: 1.96 1.88 1.77 3/217 24454
/proc/meminfo: memFree=20271208/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13982852 memory=40552 CPUtime=0.33 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 7663 0 0 0 30 3 0 0 20 0 15 0 154565244 14318440448 10138 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3495713 10138 3067 1 0 3482966 0
[pid=24440/tid=24441] ppid=24438 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) D 24438 24438 19988 0 -1 1077944384 4823 0 0 0 17 2 0 0 20 0 15 0 154565244 14318440448 10138 33554432000 4194304 4196468 140733844869136 139920469204832 139920457673261 0 4 0 16800975 18446744072101760548 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13982884 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318473216 10138 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13982884 memory=140711404622183 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318473216 10138 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 10138 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 10138 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13982852 memory=140711404598912 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565246 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154565247 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919375442976 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154565247 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919374390128 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 625 0 0 0 2 0 0 0 20 0 15 0 154565249 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 154565249 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13982852 memory=140711404598912 CPUtime=0.08 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 15 0 154565249 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565250 14318440448 10138 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41932 KiB
[startup+0.31767 s]*
/proc/loadavg: 1.96 1.88 1.77 5/217 24454
/proc/meminfo: memFree=20264272/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13982852 memory=47648 CPUtime=0.51 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 8606 0 0 0 48 3 0 0 20 0 15 0 154565244 14318440448 11912 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3495713 11912 3124 1 0 3482966 0
[pid=24440/tid=24441] ppid=24438 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 5453 0 0 0 27 2 0 0 20 0 15 0 154565244 14318440448 11912 33554432000 4194304 4196468 140733844869136 139920469231552 139920457672053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 11912 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13982852 memory=3760840147386781520 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 11912 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 11912 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565245 14318440448 11912 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565246 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154565247 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919375442976 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154565247 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919374390128 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) R 24438 24438 19988 0 -1 4202560 691 0 0 0 3 0 0 0 20 0 15 0 154565249 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919372286832 139920445628536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 154565249 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 783 0 0 0 12 0 0 0 20 0 15 0 154565249 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565250 14318440448 11912 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49028 KiB
[startup+0.700888 s]
/proc/loadavg: 1.96 1.88 1.77 5/217 24454
/proc/meminfo: memFree=20228716/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13982928 memory=124552 CPUtime=1.48 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 10395 0 0 0 143 5 0 0 20 0 15 0 154565244 14318518272 31138 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3495732 31138 3196 1 0 3482966 0
[pid=24440/tid=24441] ppid=24438 vsize=13982928 memory=23644 CPUtime=0.66 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 5802 0 0 0 63 3 0 0 20 0 15 0 154565244 14318518272 31138 33554432000 4194304 4196468 140733844869136 139920469229488 139920055169107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13982928 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318518272 31138 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13982928 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318518272 31138 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13982928 memory=640 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565245 14318518272 31138 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13982928 memory=956 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154565245 14318518272 31138 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13982928 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154565246 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13982928 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154565247 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919375442976 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13982928 memory=932 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154565247 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919374390128 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13982928 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13982928 memory=4124 CPUtime=0.28 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 1369 0 0 0 28 0 0 0 20 0 15 0 154565249 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13982928 memory=2200 CPUtime=0.28 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 763 0 0 0 28 0 0 0 20 0 15 0 154565249 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13982928 memory=7528 CPUtime=0.22 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 1155 0 0 0 22 0 0 0 20 0 15 0 154565249 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13982928 memory=840 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13982928 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154565250 14318518272 31138 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 125932 KiB
[startup+1.50087 s]
/proc/loadavg: 1.96 1.88 1.77 3/217 24454
/proc/meminfo: memFree=20122100/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919374390144 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13984976 memory=-2895008908443424103 CPUtime=3.62 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 13983 0 0 0 360 2 0 0 20 0 15 0 154565249 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13984976 memory=746080 CPUtime=3.22 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 10158 0 0 0 320 2 0 0 20 0 15 0 154565249 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13984976 memory=4140 CPUtime=0.71 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 5556 0 0 0 70 1 0 0 20 0 15 0 154565249 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13984976 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 556 0 0 0 2 3 0 0 20 0 15 0 154565250 14320615424 188049 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 110.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 753576 KiB
[startup+162.301 s]
/proc/loadavg: 1.85 1.84 1.77 6/217 24534
/proc/meminfo: memFree=17387644/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13984976 memory=788416 CPUtime=170.62 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 53013 0 0 0 17006 56 0 0 20 0 15 0 154565244 14320615424 197104 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3496244 197104 3257 1 0 3483478 0
[pid=24440/tid=24441] ppid=24438 vsize=13984976 memory=164 CPUtime=162.09 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 14460 0 0 0 16197 12 0 0 20 0 15 0 154565244 14320615424 197104 33554432000 4194304 4196468 140733844869136 139920469230432 139920056977555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13984976 memory=788416 CPUtime=0.15 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1416 0 0 0 7 8 0 0 20 0 15 0 154565245 14320615424 197104 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13984976 memory=1380 CPUtime=0.16 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 829 0 0 0 8 8 0 0 20 0 15 0 154565245 14320615424 197104 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13984976 memory=1380 CPUtime=0.14 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 244 0 0 0 7 7 0 0 20 0 15 0 154565245 14320615424 197104 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13984976 memory=788416 CPUtime=0.15 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 1911 0 0 0 8 7 0 0 20 0 15 0 154565245 14320615424 197104 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13984976 memory=788416 CPUtime=0.01 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 1649 0 0 0 1 0 0 0 20 0 15 0 154565246 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919375443040 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919374390144 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13984976 memory=1380 CPUtime=3.7 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 14160 0 0 0 368 2 0 0 20 0 15 0 154565249 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13984976 memory=1380 CPUtime=3.31 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 10591 0 0 0 329 2 0 0 20 0 15 0 154565249 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13984976 memory=788416 CPUtime=0.72 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 5833 0 0 0 71 1 0 0 20 0 15 0 154565249 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13984976 memory=3072 CPUtime=0.08 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 562 0 0 0 3 5 0 0 20 0 15 0 154565250 14320615424 197104 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 170.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 789796 KiB
[startup+222.301 s]
/proc/loadavg: 2.48 2.03 1.84 6/217 24536
/proc/meminfo: memFree=9738288/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13984976 memory=776724 CPUtime=230.93 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 58143 0 0 0 23030 63 0 0 20 0 15 0 154565244 14320615424 194181 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3496244 194181 3260 1 0 3483478 0
[pid=24440/tid=24441] ppid=24438 vsize=13984976 memory=771456 CPUtime=222.07 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 15658 0 0 0 22194 13 0 0 20 0 15 0 154565244 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920469229456 139920058473025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13984976 memory=771456 CPUtime=0.18 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1702 0 0 0 9 9 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13984976 memory=771464 CPUtime=0.19 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 879 0 0 0 10 9 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13984976 memory=776724 CPUtime=0.17 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 480 0 0 0 9 8 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13984976 memory=776724 CPUtime=0.18 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 1974 0 0 0 10 8 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13984976 memory=776724 CPUtime=0.01 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 1874 0 0 0 1 0 0 0 20 0 15 0 154565246 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13984976 memory=776724 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919375443040 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13984976 memory=771456 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919374390144 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13984976 memory=303430223234596890 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13984976 memory=288230596050944315 CPUtime=3.78 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 15846 0 0 0 376 2 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13984976 memory=1380 CPUtime=3.41 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 11781 0 0 0 339 2 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13984976 memory=771464 CPUtime=0.73 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 5984 0 0 0 72 1 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13984976 memory=23644 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13984976 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 607 0 0 0 4 7 0 0 20 0 15 0 154565250 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 230.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 778104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.61 2.08 1.86 5/217 24692
/proc/meminfo: memFree=20308912/32770624 swapFree=67108860/67108860
[pid=24438] ppid=24435 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24438/stat : 24438 (xcsp3-exec) S 24435 24438 19988 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154565243 9740288 345 33554432000 4194304 5098028 140734273212528 140734273210632 139832304513660 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33419264 140734273213557 140734273213760 140734273213760 140734273216491 0
/proc/24438/statm: 2378 345 289 221 0 87 0
[pid=24440] ppid=24438 vsize=13984976 memory=776724 CPUtime=248.71 cores=1,3,5,7
/proc/24440/stat : 24440 (java) S 24438 24438 19988 0 -1 1077944320 58642 0 0 0 24808 63 0 0 20 0 15 0 154565244 14320615424 194181 33554432000 4194304 4196468 140733844869136 140733844851680 139920464994039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
/proc/24440/statm: 3496244 194181 3260 1 0 3483478 0
[pid=24440/tid=24441] ppid=24438 vsize=13984976 memory=6791534058613427641 CPUtime=239.78 cores=1,3,5,7
/proc/24440/task/24441/stat : 24441 (java) R 24438 24438 19988 0 -1 4202560 15764 0 0 0 23965 13 0 0 20 0 15 0 154565244 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920469230824 139920056976550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24442] ppid=24438 vsize=13984976 memory=4872558044660077418 CPUtime=0.18 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (java) S 24438 24438 19988 0 -1 1077944384 1702 0 0 0 9 9 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920380062864 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24443] ppid=24438 vsize=13984976 memory=15876 CPUtime=0.19 cores=1,3,5,7
/proc/24440/task/24443/stat : 24443 (java) S 24438 24438 19988 0 -1 1077944384 879 0 0 0 10 9 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920379010064 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24444] ppid=24438 vsize=13984976 memory=16444 CPUtime=0.17 cores=1,3,5,7
/proc/24440/task/24444/stat : 24444 (java) S 24438 24438 19988 0 -1 1077944384 480 0 0 0 9 8 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920377957264 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24445] ppid=24438 vsize=13984976 memory=4052 CPUtime=0.18 cores=1,3,5,7
/proc/24440/task/24445/stat : 24445 (java) S 24438 24438 19988 0 -1 1077944384 1974 0 0 0 10 8 0 0 20 0 15 0 154565245 14320615424 194181 33554432000 4194304 4196468 140733844869136 139920376904464 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24446] ppid=24438 vsize=13984976 memory=23644 CPUtime=0.01 cores=1,3,5,7
/proc/24440/task/24446/stat : 24446 (java) S 24438 24438 19988 0 -1 1077944384 1874 0 0 0 1 0 0 0 20 0 15 0 154565246 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919376497008 139920465005186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24447] ppid=24438 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24447/stat : 24447 (java) S 24438 24438 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919375443040 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24448] ppid=24438 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24448/stat : 24448 (java) S 24438 24438 19988 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154565247 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919374390144 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24449] ppid=24438 vsize=13984976 memory=740 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24449/stat : 24449 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919373338448 139920465012635 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24450] ppid=24438 vsize=13984976 memory=6944656592455097440 CPUtime=3.84 cores=1,3,5,7
/proc/24440/task/24450/stat : 24450 (java) S 24438 24438 19988 0 -1 1077944384 16179 0 0 0 382 2 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919372286832 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24451] ppid=24438 vsize=13984976 memory=6655300316396806240 CPUtime=3.41 cores=1,3,5,7
/proc/24440/task/24451/stat : 24451 (java) S 24438 24438 19988 0 -1 1077944384 11841 0 0 0 339 2 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919371234032 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24452] ppid=24438 vsize=13984976 memory=4137282578176515228 CPUtime=0.73 cores=1,3,5,7
/proc/24440/task/24452/stat : 24452 (java) S 24438 24438 19988 0 -1 1077944384 5984 0 0 0 72 1 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919370181232 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24453] ppid=24438 vsize=13984976 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/24440/task/24453/stat : 24453 (java) S 24438 24438 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154565249 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919369128672 139920465004245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
[pid=24440/tid=24454] ppid=24438 vsize=13984976 memory=6944656592455097440 CPUtime=0.13 cores=1,3,5,7
/proc/24440/task/24454/stat : 24454 (java) S 24438 24438 19988 0 -1 1077944384 607 0 0 0 5 8 0 0 20 0 15 0 154565250 14320615424 194181 33554432000 4194304 4196468 140733844869136 139919368075952 139920465005186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16814080 140733844874397 140733844874572 140733844874572 140733844877263 0
Current children cumulated CPU time: 248.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 778104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.024 s]
# the end of solver process 24438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000932 s, system=0.000932 s
[startup+240.031 s]
# the end of solver process 24440 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.121 s, system=0.64538 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.031
CPU time (s): 248.766
CPU user time (s): 248.121
CPU system time (s): 0.64538
CPU usage (%): 103.639
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 789796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.121
system time used= 0.64538
maximum resident set size= 806900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8822
involuntary context switches= 495
# summary of solver processes directly reported to runsolver:
# pid: 24438,24440
# total CPU time (s): 248.766
# total CPU user time (s): 248.121
# total CPU system time (s): 0.64538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48854 second user time and 2.39478 second system time
The end