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 (10500 MiB free)
memory of node 1: 16384 MiB (11939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284408-1503211339/watcher-4284408-1503211339 -o /tmp/evaluation-result-4284408-1503211339/solver-4284408-1503211339 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1855807106 HOME/instance-4284408-1503211339.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=14419, runsolver pid=14416
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.53 1.57 1.59 3/217 14435
/proc/meminfo: memFree=22962004/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13978596 memory=27628 CPUtime=0.12 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 5325 0 0 0 11 1 0 0 20 0 15 0 154214663 14314082304 6907 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3494649 6907 2847 1 0 3482966 0
[pid=14421/tid=14422] ppid=14419 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 3327 0 0 0 8 0 0 0 20 0 15 0 154214663 14314082304 6907 33554432000 4194304 4196468 140729110303344 140307328882480 140307324661142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13978596 memory=3472467866825827536 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14314082304 6907 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13978596 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214666 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154214666 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154214666 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13978596 memory=139737930675840 CPUtime=0.01 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) R 14419 14419 12810 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306230728688 140307303302667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13978596 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214669 14314082304 6907 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29012 KiB
[startup+0.212572 s]*
/proc/loadavg: 1.53 1.57 1.59 5/217 14435
/proc/meminfo: memFree=22950592/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13982852 memory=40632 CPUtime=0.33 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 8254 0 0 0 31 2 0 0 20 0 15 0 154214663 14318440448 10158 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3495713 10158 3088 1 0 3482966 0
[pid=14421/tid=14422] ppid=14419 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 5381 0 0 0 18 1 0 0 20 0 15 0 154214663 14318440448 10158 33554432000 4194304 4196468 140729110303344 140307328858944 140307308729694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13982852 memory=3472467866825827536 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 10158 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13982852 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13982852 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13982852 memory=139737930675840 CPUtime=0.08 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) R 14419 14419 12810 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306230728688 140307308729694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13982852 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 10158 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42016 KiB
[startup+0.310837 s]*
/proc/loadavg: 1.53 1.57 1.59 6/217 14435
/proc/meminfo: memFree=22940884/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13982852 memory=47332 CPUtime=0.52 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 8976 0 0 0 49 3 0 0 20 0 15 0 154214663 14318440448 11833 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3495713 11833 3128 1 0 3482966 0
[pid=14421/tid=14422] ppid=14419 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 5926 0 0 0 28 2 0 0 20 0 15 0 154214663 14318440448 11833 33554432000 4194304 4196468 140729110303344 140307328872048 140307324671133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13982852 memory=3472467866825827536 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 11833 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13982852 memory=139737930675840 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13982852 memory=139737767749663 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13982852 memory=279475535478560 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13982852 memory=139737767726607 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13982852 memory=279475698411616 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154214666 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13982852 memory=139737767731215 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13982852 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) R 14419 14419 12810 0 -1 4202560 873 0 0 0 13 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306230724512 140307306212711 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214669 14318440448 11833 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48716 KiB
[startup+0.700799 s]
/proc/loadavg: 1.53 1.57 1.59 3/217 14435
/proc/meminfo: memFree=22930644/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13984976 memory=72936 CPUtime=1.31 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 10276 0 0 0 128 3 0 0 20 0 15 0 154214663 14320615424 18234 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3496244 18234 3192 1 0 3483478 0
[pid=14421/tid=14422] ppid=14419 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 6377 0 0 0 65 2 0 0 20 0 15 0 154214663 14320615424 18234 33554432000 4194304 4196468 140729110303344 140307328886736 140306938258060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14320615424 18234 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214664 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154214664 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13984976 memory=42944 CPUtime=0.14 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 558 0 0 0 14 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13984976 memory=1292 CPUtime=0.17 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 733 0 0 0 17 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13984976 memory=2428 CPUtime=0.3 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) S 14419 14419 12810 0 -1 1077944384 1300 0 0 0 30 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306230728688 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 18234 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74320 KiB
[startup+1.50088 s]
/proc/loadavg: 1.53 1.57 1.59 5/217 14435
/proc/meminfo: memFree=22900620/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13984976 memory=279475535918736 CPUtime=6.61 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 37641 0 0 0 657 4 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13984976 memory=31356350842106266 CPUtime=6.42 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 37517 0 0 0 637 5 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13984976 memory=20288 CPUtime=0.99 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) S 14419 14419 12810 0 -1 1077944384 9799 0 0 0 97 2 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306230728688 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13984976 memory=585856 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13984976 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 558 0 0 0 2 2 0 0 20 0 15 0 154214669 14320615424 146464 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 118.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 587240 KiB
[startup+162.301 s]
/proc/loadavg: 1.48 1.55 1.58 3/218 14446
/proc/meminfo: memFree=22517576/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13984976 memory=731584 CPUtime=180.68 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 115545 0 0 0 17976 92 0 0 20 0 15 0 154214663 14320615424 182896 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3496244 182896 3283 1 0 3483478 0
[pid=14421/tid=14422] ppid=14419 vsize=13984976 memory=731584 CPUtime=160.7 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 16135 0 0 0 16065 5 0 0 20 0 15 0 154214663 14320615424 182896 33554432000 4194304 4196468 140729110303344 140307328888640 140306943837842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13984976 memory=731584 CPUtime=1.41 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 1415 0 0 0 123 18 0 0 20 0 15 0 154214664 14320615424 182896 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13984976 memory=731584 CPUtime=1.4 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 2167 0 0 0 124 16 0 0 20 0 15 0 154214664 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13984976 memory=1384 CPUtime=1.41 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1585 0 0 0 124 17 0 0 20 0 15 0 154214664 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13984976 memory=1384 CPUtime=1.42 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 1907 0 0 0 125 17 0 0 20 0 15 0 154214664 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13984976 memory=702504 CPUtime=0.12 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 4667 0 0 0 11 1 0 0 20 0 15 0 154214666 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13984976 memory=702708 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13984976 memory=1384 CPUtime=6.65 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 38261 0 0 0 661 4 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13984976 memory=1292 CPUtime=6.42 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 37520 0 0 0 637 5 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13984976 memory=2428 CPUtime=0.99 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) S 14419 14419 12810 0 -1 1077944384 9960 0 0 0 97 2 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306230728688 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13984976 memory=731584 CPUtime=0.06 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 587 0 0 0 3 3 0 0 20 0 15 0 154214669 14320615424 182896 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 180.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 732968 KiB
[startup+222.301 s]
/proc/loadavg: 1.67 1.58 1.59 3/218 14604
/proc/meminfo: memFree=22720580/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13984976 memory=675376 CPUtime=242.24 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 121457 0 0 0 24127 97 0 0 20 0 15 0 154214663 14320615424 168844 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3496244 168844 3285 1 0 3483478 0
[pid=14421/tid=14422] ppid=14419 vsize=13984976 memory=693728 CPUtime=220.16 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) R 14419 14419 12810 0 -1 4202560 16824 0 0 0 22011 5 0 0 20 0 15 0 154214663 14320615424 168844 33554432000 4194304 4196468 140729110303344 140307328888704 140306940690293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13984976 memory=682048 CPUtime=1.91 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) S 14419 14419 12810 0 -1 1077944384 1946 0 0 0 173 18 0 0 20 0 15 0 154214664 14320615424 168844 33554432000 4194304 4196468 140729110303344 140307254737424 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13984976 memory=682048 CPUtime=1.92 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) S 14419 14419 12810 0 -1 1077944384 2422 0 0 0 175 17 0 0 20 0 15 0 154214664 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306919635600 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13984976 memory=675376 CPUtime=1.93 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) S 14419 14419 12810 0 -1 1077944384 1717 0 0 0 175 18 0 0 20 0 15 0 154214664 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306918582544 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13984976 memory=1384 CPUtime=1.92 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) S 14419 14419 12810 0 -1 1077944384 2005 0 0 0 175 17 0 0 20 0 15 0 154214664 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306917530000 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 8285 0 0 0 13 1 0 0 20 0 15 0 154214666 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306237045488 140307324660354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13984976 memory=682048 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13984976 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13984976 memory=1224 CPUtime=6.66 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 38490 0 0 0 662 4 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13984976 memory=1384 CPUtime=6.42 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 37528 0 0 0 637 5 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13984976 memory=675376 CPUtime=0.99 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) S 14419 14419 12810 0 -1 1077944384 10288 0 0 0 97 2 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306230728688 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13984976 memory=1384 CPUtime=0.09 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 611 0 0 0 4 5 0 0 20 0 15 0 154214669 14320615424 168844 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 242.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 676760 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.009 s]*
/proc/loadavg: 1.61 1.56 1.59 6/218 14604
/proc/meminfo: memFree=21463176/32770624 swapFree=67108860/67108860
[pid=14419] ppid=14416 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/14419/stat : 14419 (xcsp3-exec) S 14416 14419 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154214663 9740288 346 33554432000 4194304 5098028 140728603965536 140728603963640 140636696638076 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28073984 140728603972724 140728603972928 140728603972928 140728603975659 0
/proc/14419/statm: 2378 346 289 221 0 87 0
[pid=14421] ppid=14419 vsize=13984976 memory=660044 CPUtime=260.28 cores=1,3,5,7
/proc/14421/stat : 14421 (java) S 14419 14419 12810 0 -1 1077944320 121718 0 0 0 25930 98 0 0 20 0 15 0 154214663 14320615424 165011 33554432000 4194304 4196468 140729110303344 140729110285888 140307324649207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
/proc/14421/statm: 3496244 165011 3285 1 0 3483478 0
[pid=14421/tid=14422] ppid=14419 vsize=13984976 memory=6791534058613427641 CPUtime=237.77 cores=1,3,5,7
/proc/14421/task/14422/stat : 14422 (java) S 14419 14419 12810 0 -1 1077944384 16901 0 0 0 23772 5 0 0 20 0 15 0 154214663 14320615424 165011 33554432000 4194304 4196468 140729110303344 140307328888880 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14423] ppid=14419 vsize=13984976 memory=-7003737579269690708 CPUtime=2.02 cores=1,3,5,7
/proc/14421/task/14423/stat : 14423 (java) R 14419 14419 12810 0 -1 4202560 1979 0 0 0 184 18 0 0 20 0 15 0 154214664 14320615424 165011 33554432000 4194304 4196468 140729110303344 140307254737424 140307309673262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14424] ppid=14419 vsize=13984976 memory=1384 CPUtime=2.01 cores=1,3,5,7
/proc/14421/task/14424/stat : 14424 (java) R 14419 14419 12810 0 -1 4202560 2454 0 0 0 184 17 0 0 20 0 15 0 154214664 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306919635800 140307306296789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14425] ppid=14419 vsize=13984976 memory=1727364 CPUtime=2.03 cores=1,3,5,7
/proc/14421/task/14425/stat : 14425 (java) R 14419 14419 12810 0 -1 4202560 1755 0 0 0 185 18 0 0 20 0 15 0 154214664 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306918582544 140307309677072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14426] ppid=14419 vsize=13984976 memory=279475535711632 CPUtime=2.04 cores=1,3,5,7
/proc/14421/task/14426/stat : 14426 (java) R 14419 14419 12810 0 -1 4202560 2053 0 0 0 186 18 0 0 20 0 15 0 154214664 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306917530200 140307303844461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14427] ppid=14419 vsize=13984976 memory=2548 CPUtime=0.14 cores=1,3,5,7
/proc/14421/task/14427/stat : 14427 (java) S 14419 14419 12810 0 -1 1077944384 8293 0 0 0 13 1 0 0 20 0 15 0 154214666 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306237044000 140307324659413 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14428] ppid=14419 vsize=13984976 memory=2684 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14428/stat : 14428 (java) S 14419 14419 12810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306235991712 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14429] ppid=14419 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14429/stat : 14429 (java) S 14419 14419 12810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154214666 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306234938608 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14430] ppid=14419 vsize=13984976 memory=3072 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14430/stat : 14430 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306233887184 140307324667803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14431] ppid=14419 vsize=13984976 memory=1384 CPUtime=6.66 cores=1,3,5,7
/proc/14421/task/14431/stat : 14431 (java) S 14419 14419 12810 0 -1 1077944384 38490 0 0 0 662 4 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306232834288 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14432] ppid=14419 vsize=13984976 memory=660044 CPUtime=6.42 cores=1,3,5,7
/proc/14421/task/14432/stat : 14432 (java) S 14419 14419 12810 0 -1 1077944384 37528 0 0 0 637 5 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306231781744 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14433] ppid=14419 vsize=13984976 memory=1156 CPUtime=0.99 cores=1,3,5,7
/proc/14421/task/14433/stat : 14433 (java) S 14419 14419 12810 0 -1 1077944384 10314 0 0 0 97 2 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306230728688 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14434] ppid=14419 vsize=13984976 memory=2744 CPUtime=0 cores=1,3,5,7
/proc/14421/task/14434/stat : 14434 (java) S 14419 14419 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306229676384 140307324659413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
[pid=14421/tid=14435] ppid=14419 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/14421/task/14435/stat : 14435 (java) S 14419 14419 12810 0 -1 1077944384 611 0 0 0 5 6 0 0 20 0 15 0 154214669 14320615424 165011 33554432000 4194304 4196468 140729110303344 140306228624432 140307324660354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16322560 140729110312093 140729110312268 140729110312268 140729110314959 0
Current children cumulated CPU time: 260.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 661428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.033 s]
# the end of solver process 14419 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001845 s, system=0 s
[startup+240.043 s]
# the end of solver process 14421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=259.352 s, system=0.993598 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.043
CPU time (s): 260.346
CPU user time (s): 259.352
CPU system time (s): 0.993598
CPU usage (%): 108.458
Max. virtual memory (cumulated for all children) (KiB): 13998760
Max. memory (cumulated for all children) (KiB): 751488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.352
system time used= 0.993598
maximum resident set size= 754212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10075
involuntary context switches= 454
# summary of solver processes directly reported to runsolver:
# pid: 14419,14421
# total CPU time (s): 260.346
# total CPU user time (s): 259.352
# total CPU system time (s): 0.993598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4932 second user time and 2.42199 second system time
The end