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 (12482 MiB free)
memory of node 1: 16384 MiB (13480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284430-1503213146/watcher-4284430-1503213146 -o /tmp/evaluation-result-4284430-1503213146/solver-4284430-1503213146 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 670612248 HOME/instance-4284430-1503213146.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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=29643, runsolver pid=29640
Current StackSize limit: 8192 KiB
[startup+0.103214 s]*
/proc/loadavg: 1.67 1.80 1.83 5/217 29659
/proc/meminfo: memFree=26569080/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13978596 memory=28716 CPUtime=0.13 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 5486 0 0 0 12 1 0 0 20 0 15 0 154402251 14314082304 7179 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3494649 7179 2903 1 0 3482966 0
[pid=29645/tid=29646] ppid=29643 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 3421 0 0 0 9 0 0 0 20 0 15 0 154402252 14314082304 7179 33554432000 4194304 4196468 140727433154096 140562311230000 140562307018134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13978596 memory=139718913586816 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13978596 memory=139718913586816 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402254 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154402254 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561780229792 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154402254 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561779176688 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13978596 memory=139718913586816 CPUtime=0.01 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) R 29643 29643 25930 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561774966768 140562307027546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13978596 memory=139718913586816 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402257 14314082304 7179 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30100 KiB
[startup+0.21061 s]*
/proc/loadavg: 1.67 1.80 1.83 3/217 29659
/proc/meminfo: memFree=26557956/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13982852 memory=40488 CPUtime=0.33 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 8151 0 0 0 32 1 0 0 20 0 15 0 154402251 14318440448 10122 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3495713 10122 3083 1 0 3482966 0
[pid=29645/tid=29646] ppid=29643 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 5297 0 0 0 19 1 0 0 20 0 15 0 154402252 14318440448 10122 33554432000 4194304 4196468 140727433154096 140562311219712 140562291086686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13982852 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13982852 memory=3474448257088386720 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13982852 memory=139718913586816 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561780229792 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561779176688 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 749 0 0 0 3 0 0 0 20 0 15 0 154402257 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 154402257 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13982852 memory=139718913586816 CPUtime=0.08 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 154402257 14318440448 10122 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14318473216 10122 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402257 14318440448 10143 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41872 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.67 1.80 1.83 4/217 29659
/proc/meminfo: memFree=26551752/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13982852 memory=47464 CPUtime=0.5 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 9039 0 0 0 48 2 0 0 20 0 15 0 154402251 14318440448 11866 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3495713 11866 3107 1 0 3482966 0
[pid=29645/tid=29646] ppid=29643 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 5991 0 0 0 28 2 0 0 20 0 15 0 154402252 14318440448 11866 33554432000 4194304 4196468 140727433154096 140562311227760 140562307028125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561780229792 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154402254 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561779176688 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) R 29643 29643 25930 0 -1 4202560 760 0 0 0 4 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561777072368 140562299991241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) R 29643 29643 25930 0 -1 1077944384 148 0 0 0 3 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) R 29643 29643 25930 0 -1 4202560 838 0 0 0 13 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561774964560 140562307018134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402257 14318440448 11866 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48848 KiB
[startup+0.700807 s]
/proc/loadavg: 1.67 1.80 1.83 5/217 29659
/proc/meminfo: memFree=26537484/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13984976 memory=97868 CPUtime=1.55 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 19728 0 0 0 150 5 0 0 20 0 15 0 154402251 14320615424 24467 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3496244 24467 3202 1 0 3483478 0
[pid=29645/tid=29646] ppid=29643 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 6603 0 0 0 65 2 0 0 20 0 15 0 154402252 14320615424 24467 33554432000 4194304 4196468 140727433154096 140562311241584 140561947193952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13984976 memory=42876 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402252 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154402252 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561780229792 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561779176688 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13984976 memory=1956 CPUtime=0.31 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) R 29643 29643 25930 0 -1 4202560 5142 0 0 0 30 1 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561777056840 140562292124832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13984976 memory=8608 CPUtime=0.28 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) R 29643 29643 25930 0 -1 4202560 5230 0 0 0 28 0 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561776004488 140562291402900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13984976 memory=1228 CPUtime=0.26 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 1447 0 0 0 26 0 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 24467 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 99252 KiB
[startup+1.50075 s]
/proc/loadavg: 1.67 1.80 1.83 4/217 29659
/proc/meminfo: memFree=26485156/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561779176704 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13984976 memory=42876 CPUtime=3.31 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 17270 0 0 0 328 3 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13984976 memory=972432 CPUtime=3.24 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 16427 0 0 0 322 2 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13984976 memory=1384 CPUtime=0.76 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 7146 0 0 0 75 1 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13984976 memory=603360 CPUtime=0.04 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1713 0 0 0 1 3 0 0 20 0 15 0 154402257 14320615424 250284 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 112.26 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1002520 KiB
[startup+162.301 s]
/proc/loadavg: 2.44 1.98 1.88 3/218 29746
/proc/meminfo: memFree=24421892/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13984976 memory=1140496 CPUtime=172.85 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 70347 0 0 0 17172 113 0 0 20 0 15 0 154402251 14320615424 285124 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3496244 285124 3284 1 0 3483478 0
[pid=29645/tid=29646] ppid=29643 vsize=13984976 memory=1140496 CPUtime=160.62 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 17278 0 0 0 16055 7 0 0 20 0 15 0 154402252 14320615424 285124 33554432000 4194304 4196468 140727433154096 140562311244408 140561950499256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13984976 memory=1384 CPUtime=1.01 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 1574 0 0 0 77 24 0 0 20 0 15 0 154402252 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13984976 memory=1140496 CPUtime=1.02 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 1810 0 0 0 78 24 0 0 20 0 15 0 154402252 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13984976 memory=1384 CPUtime=1.01 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1309 0 0 0 78 23 0 0 20 0 15 0 154402252 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13984976 memory=1025716 CPUtime=1.01 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 1331 0 0 0 77 24 0 0 20 0 15 0 154402252 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13984976 memory=1025716 CPUtime=0.61 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 1935 0 0 0 61 0 0 0 20 0 15 0 154402254 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561780229856 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561779176704 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13984976 memory=3072 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13984976 memory=1384 CPUtime=3.38 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 17340 0 0 0 335 3 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13984976 memory=1384 CPUtime=3.25 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 16448 0 0 0 323 2 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13984976 memory=1044152 CPUtime=0.79 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 8224 0 0 0 78 1 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13984976 memory=1140496 CPUtime=0.07 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1725 0 0 0 3 4 0 0 20 0 15 0 154402257 14320615424 285124 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 172.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1141880 KiB
[startup+222.301 s]
/proc/loadavg: 2.15 2.00 1.90 3/219 29770
/proc/meminfo: memFree=24353664/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13984976 memory=1206184 CPUtime=233.66 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 78654 0 0 0 23244 122 0 0 20 0 15 0 154402251 14320615424 301546 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3496244 301546 3285 1 0 3483478 0
[pid=29645/tid=29646] ppid=29643 vsize=13984976 memory=1384 CPUtime=220.47 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 18485 0 0 0 22040 7 0 0 20 0 15 0 154402252 14320615424 301546 33554432000 4194304 4196468 140727433154096 140562311241760 140561948553835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13984976 memory=1384 CPUtime=1.15 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 2091 0 0 0 89 26 0 0 20 0 15 0 154402252 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13984976 memory=1206184 CPUtime=1.16 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2217 0 0 0 90 26 0 0 20 0 15 0 154402252 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13984976 memory=1206184 CPUtime=1.15 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1422 0 0 0 90 25 0 0 20 0 15 0 154402252 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13984976 memory=1206184 CPUtime=1.16 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 1463 0 0 0 90 26 0 0 20 0 15 0 154402252 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13984976 memory=1384 CPUtime=0.61 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 2180 0 0 0 61 0 0 0 20 0 15 0 154402254 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561780229856 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561779176704 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13984976 memory=840 CPUtime=3.64 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 20184 0 0 0 361 3 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13984976 memory=1692 CPUtime=3.34 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 17915 0 0 0 332 2 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13984976 memory=1202072 CPUtime=0.8 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 9394 0 0 0 79 1 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13984976 memory=1384 CPUtime=0.1 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1930 0 0 0 4 6 0 0 20 0 15 0 154402257 14320615424 301546 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 233.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1207568 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.12 2.00 1.90 3/219 29771
/proc/meminfo: memFree=24318484/32770624 swapFree=67108860/67108860
[pid=29643] ppid=29640 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/29643/stat : 29643 (xcsp3-exec) S 29640 29643 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154402251 9740288 346 33554432000 4194304 5098028 140726919970752 140726919968856 140715982598780 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 24375296 140726919976053 140726919976256 140726919976256 140726919978987 0
/proc/29643/statm: 2378 346 289 221 0 87 0
[pid=29645] ppid=29643 vsize=13984976 memory=1241068 CPUtime=251.58 cores=0,2,4,6
/proc/29645/stat : 29645 (java) S 29643 29643 25930 0 -1 1077944320 79615 0 0 0 25031 127 0 0 20 0 15 0 154402251 14320615424 310267 33554432000 4194304 4196468 140727433154096 140727433136640 140562307006199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
/proc/29645/statm: 3496244 310267 3285 1 0 3483478 0
[pid=29645/tid=29646] ppid=29643 vsize=13984976 memory=4620 CPUtime=238.11 cores=0,2,4,6
/proc/29645/task/29646/stat : 29646 (java) R 29643 29643 25930 0 -1 4202560 19273 0 0 0 23804 7 0 0 20 0 15 0 154402252 14320615424 310267 33554432000 4194304 4196468 140727433154096 140562311241856 140561951468846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29647] ppid=29643 vsize=13984976 memory=1428 CPUtime=1.22 cores=0,2,4,6
/proc/29645/task/29647/stat : 29647 (java) S 29643 29643 25930 0 -1 1077944384 2116 0 0 0 95 27 0 0 20 0 15 0 154402252 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561902447120 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29648] ppid=29643 vsize=13984976 memory=1204 CPUtime=1.22 cores=0,2,4,6
/proc/29645/task/29648/stat : 29648 (java) S 29643 29643 25930 0 -1 1077944384 2243 0 0 0 95 27 0 0 20 0 15 0 154402252 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561901394576 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29649] ppid=29643 vsize=13984976 memory=4872558044660077418 CPUtime=1.22 cores=0,2,4,6
/proc/29645/task/29649/stat : 29649 (java) S 29643 29643 25930 0 -1 1077944384 1456 0 0 0 96 26 0 0 20 0 15 0 154402252 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561900341520 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29650] ppid=29643 vsize=13984976 memory=3076 CPUtime=1.22 cores=0,2,4,6
/proc/29645/task/29650/stat : 29650 (java) S 29643 29643 25930 0 -1 1077944384 1489 0 0 0 95 27 0 0 20 0 15 0 154402252 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561899288976 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29651] ppid=29643 vsize=13984976 memory=1384 CPUtime=0.61 cores=0,2,4,6
/proc/29645/task/29651/stat : 29651 (java) S 29643 29643 25930 0 -1 1077944384 2196 0 0 0 61 0 0 0 20 0 15 0 154402254 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561781283568 140562307017346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29652] ppid=29643 vsize=13984976 memory=1241068 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29652/stat : 29652 (java) S 29643 29643 25930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561780229856 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29653] ppid=29643 vsize=13984976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29653/stat : 29653 (java) S 29643 29643 25930 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154402254 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561779176704 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29654] ppid=29643 vsize=13984976 memory=3184 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29654/stat : 29654 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561778125264 140562307024795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29655] ppid=29643 vsize=13984976 memory=1380 CPUtime=3.64 cores=0,2,4,6
/proc/29645/task/29655/stat : 29655 (java) S 29643 29643 25930 0 -1 1077944384 20184 0 0 0 361 3 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561777072368 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29656] ppid=29643 vsize=13984976 memory=1522112 CPUtime=3.34 cores=0,2,4,6
/proc/29645/task/29656/stat : 29656 (java) S 29643 29643 25930 0 -1 1077944384 17915 0 0 0 332 2 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561776019824 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29657] ppid=29643 vsize=13984976 memory=1241068 CPUtime=0.81 cores=0,2,4,6
/proc/29645/task/29657/stat : 29657 (java) S 29643 29643 25930 0 -1 1077944384 9438 0 0 0 80 1 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561774966768 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29658] ppid=29643 vsize=13984976 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/29645/task/29658/stat : 29658 (java) S 29643 29643 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561773914464 140562307016405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
[pid=29645/tid=29659] ppid=29643 vsize=13984976 memory=2416 CPUtime=0.11 cores=0,2,4,6
/proc/29645/task/29659/stat : 29659 (java) S 29643 29643 25930 0 -1 1077944384 1932 0 0 0 4 7 0 0 20 0 15 0 154402257 14320615424 310267 33554432000 4194304 4196468 140727433154096 140561772862512 140562307017346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 12615680 140727433159837 140727433160012 140727433160012 140727433162703 0
Current children cumulated CPU time: 251.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1242452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 29643 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000985 s, system=0.000985 s
[startup+240.027 s]
# the end of solver process 29645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.321 s, system=1.29092 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.027
CPU time (s): 251.612
CPU user time (s): 250.321
CPU system time (s): 1.29092
CPU usage (%): 104.827
Max. virtual memory (cumulated for all children) (KiB): 13999196
Max. memory (cumulated for all children) (KiB): 1242452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.321
system time used= 1.29092
maximum resident set size= 1241668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9932
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 29643,29645
# total CPU time (s): 251.612
# total CPU user time (s): 250.321
# total CPU system time (s): 1.29092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44872 second user time and 2.38545 second system time
The end