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 (7897 MiB free)
memory of node 1: 16384 MiB (11940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284298-1503212544/watcher-4284298-1503212544 -o /tmp/evaluation-result-4284298-1503212544/solver-4284298-1503212544 -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 514212739 HOME/instance-4284298-1503212544.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=15313, runsolver pid=15310
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 1.96 1.74 1.67 6/217 15329
/proc/meminfo: memFree=20297488/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13978596 memory=27856 CPUtime=0.12 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 5381 0 0 0 11 1 0 0 20 0 15 0 154335137 14314082304 6964 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3494649 6964 2873 1 0 3482966 0
[pid=15315/tid=15316] ppid=15313 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 3327 0 0 0 8 1 0 0 20 0 15 0 154335137 14314082304 7030 33554432000 4194304 4196468 140720629771200 140117050709648 140116681162320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13978596 memory=3472468244872832208 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14314082304 7030 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13978596 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14314082304 7030 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14314082304 7030 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335138 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335139 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335140 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335140 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154335142 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154335142 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13978596 memory=140115977680512 CPUtime=0.01 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) R 15313 15313 12810 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 15 0 154335142 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116153928432 140117026443654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13978596 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335143 14314082304 7030 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29240 KiB
[startup+0.21066 s]*
/proc/loadavg: 1.96 1.74 1.67 8/217 15329
/proc/meminfo: memFree=20285688/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13982852 memory=40324 CPUtime=0.33 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 8274 0 0 0 31 2 0 0 20 0 15 0 154335137 14318440448 10081 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3495713 10081 3043 1 0 3482966 0
[pid=15315/tid=15316] ppid=15313 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 5373 0 0 0 18 1 0 0 20 0 15 0 154335137 14318440448 10081 33554432000 4194304 4196468 140720629771200 140117050686256 140117030557022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13982852 memory=3472468244872832208 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 10081 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13982852 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 10081 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 10081 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13982852 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335139 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335140 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335140 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 15 0 154335142 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) R 15313 15313 12810 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 154335142 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13982852 memory=140115977680512 CPUtime=0.08 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 154335142 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13982852 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335143 14318440448 10081 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41708 KiB
[startup+0.310629 s]*
/proc/loadavg: 1.96 1.74 1.67 7/217 15329
/proc/meminfo: memFree=20278740/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13982852 memory=47188 CPUtime=0.5 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 9008 0 0 0 48 2 0 0 20 0 15 0 154335137 14318440448 11797 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3495713 11797 3079 1 0 3482966 0
[pid=15315/tid=15316] ppid=15313 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 5930 0 0 0 28 2 0 0 20 0 15 0 154335137 14318440448 11797 33554432000 4194304 4196468 140720629771200 140117050708608 140117039154549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13982852 memory=3472468244872832208 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 11797 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13982852 memory=140115977680512 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 11797 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13982852 memory=2 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 11797 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13982852 memory=140115859089439 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335138 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13982852 memory=280231718158112 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335139 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13982852 memory=140115859066383 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335140 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13982852 memory=280231836630024 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335140 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13982852 memory=140115859089439 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 154335142 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) R 15313 15313 12810 0 -1 4202560 379 0 0 0 3 0 0 0 20 0 15 0 154335142 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116154980976 140117039461577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 872 0 0 0 13 0 0 0 20 0 15 0 154335142 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335143 14318440448 11797 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48572 KiB
[startup+0.700749 s]
/proc/loadavg: 1.96 1.74 1.67 9/217 15329
/proc/meminfo: memFree=20265436/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13984976 memory=82356 CPUtime=1.56 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 12727 0 0 0 152 4 0 0 20 0 15 0 154335137 14320615424 20589 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3496244 20589 3209 1 0 3483478 0
[pid=15315/tid=15316] ppid=15313 vsize=13984976 memory=53 CPUtime=0.68 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 6741 0 0 0 65 3 0 0 20 0 15 0 154335137 14320615424 20589 33554432000 4194304 4196468 140720629771200 140117050715360 140116681156321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14320615424 20589 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13984976 memory=7886766292050785845 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14320615424 20589 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13984976 memory=6219559408723247203 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335138 14320615424 20589 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13984976 memory=7588675599774802240 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335138 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13984976 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154335139 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13984976 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13984976 memory=1944 CPUtime=0.22 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) R 15313 15313 12810 0 -1 4202560 1288 0 0 0 22 0 0 0 20 0 15 0 154335142 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116156033616 140117029887415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13984976 memory=1200 CPUtime=0.24 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 1156 0 0 0 24 0 0 0 20 0 15 0 154335142 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13984976 memory=1424 CPUtime=0.4 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 2235 0 0 0 40 0 0 0 20 0 15 0 154335142 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13984976 memory=8600 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335143 14320615424 20589 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 83740 KiB
[startup+1.50084 s]
/proc/loadavg: 1.96 1.74 1.67 7/217 15329
/proc/meminfo: memFree=20218392/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13984976 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13984976 memory=262556 CPUtime=2.98 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 29618 0 0 0 295 3 0 0 20 0 15 0 154335142 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13984976 memory=262524 CPUtime=3.76 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 25395 0 0 0 374 2 0 0 20 0 15 0 154335142 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13984976 memory=1008 CPUtime=0.79 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 7438 0 0 0 77 2 0 0 20 0 15 0 154335142 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13984976 memory=268080 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13984976 memory=42960 CPUtime=0.03 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1613 0 0 0 1 2 0 0 20 0 15 0 154335143 14320615424 67026 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 110.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269488 KiB
[startup+162.301 s]
/proc/loadavg: 2.69 2.19 1.86 6/217 15416
/proc/meminfo: memFree=16603424/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13984976 memory=268224 CPUtime=170.32 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 86611 0 0 0 17010 22 0 0 20 0 15 0 154335137 14320615424 67056 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3496244 67056 3259 1 0 3483478 0
[pid=15315/tid=15316] ppid=15313 vsize=13984976 memory=268196 CPUtime=162.19 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 14189 0 0 0 16214 5 0 0 20 0 15 0 154335137 14320615424 67056 33554432000 4194304 4196468 140720629771200 140117050712816 140116687321559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13984976 memory=268224 CPUtime=0.06 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 1364 0 0 0 5 1 0 0 20 0 15 0 154335138 14320615424 67056 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 376 0 0 0 5 1 0 0 20 0 15 0 154335138 14320615424 67056 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13984976 memory=268224 CPUtime=0.07 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1303 0 0 0 6 1 0 0 20 0 15 0 154335138 14320615424 67056 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 670 0 0 0 5 1 0 0 20 0 15 0 154335138 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13984976 memory=268224 CPUtime=0.01 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 15 0 154335139 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13984976 memory=268224 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13984976 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 30525 0 0 0 306 3 0 0 20 0 15 0 154335142 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13984976 memory=1384 CPUtime=3.83 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 25845 0 0 0 381 2 0 0 20 0 15 0 154335142 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13984976 memory=268224 CPUtime=0.8 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 8291 0 0 0 78 2 0 0 20 0 15 0 154335142 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1643 0 0 0 2 3 0 0 20 0 15 0 154335143 14320615424 67056 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 170.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269608 KiB
[startup+222.301 s]
/proc/loadavg: 2.64 2.30 1.92 5/215 15600
/proc/meminfo: memFree=23847048/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13984976 memory=287492 CPUtime=230.7 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 91868 0 0 0 23044 26 0 0 20 0 15 0 154335137 14320615424 71873 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3496244 71873 3260 1 0 3483478 0
[pid=15315/tid=15316] ppid=15313 vsize=13984976 memory=1384 CPUtime=222.15 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 14855 0 0 0 22210 5 0 0 20 0 15 0 154335137 14320615424 71873 33554432000 4194304 4196468 140720629771200 140117050713072 140116686105499 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13984976 memory=287492 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 2113 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71873 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13984976 memory=287480 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 472 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71873 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13984976 memory=287480 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1412 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71873 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13984976 memory=287492 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 778 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 1239 0 0 0 1 0 0 0 20 0 15 0 154335139 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13984976 memory=7955445371166418025 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13984976 memory=287492 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13984976 memory=1384 CPUtime=3.17 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 31878 0 0 0 314 3 0 0 20 0 15 0 154335142 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13984976 memory=4144 CPUtime=3.97 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 27340 0 0 0 395 2 0 0 20 0 15 0 154335142 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13984976 memory=1232 CPUtime=0.81 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 8753 0 0 0 79 2 0 0 20 0 15 0 154335142 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1680 0 0 0 3 3 0 0 20 0 15 0 154335143 14320615424 71873 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 230.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 288876 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.33 2.25 1.91 3/217 15723
/proc/meminfo: memFree=23436128/32770624 swapFree=67108860/67108860
[pid=15313] ppid=15310 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15313/stat : 15313 (xcsp3-exec) S 15310 15313 12810 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335137 9740288 346 33554432000 4194304 5098028 140736019013424 140736019011528 139781326975612 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 9564160 140736019018869 140736019019072 140736019019072 140736019021803 0
/proc/15313/statm: 2378 346 289 221 0 87 0
[pid=15315] ppid=15313 vsize=13984976 memory=287528 CPUtime=248.51 cores=1,3,5,7
/proc/15315/stat : 15315 (java) S 15313 15313 12810 0 -1 1077944320 93843 0 0 0 24825 26 0 0 20 0 15 0 154335137 14320615424 71882 33554432000 4194304 4196468 140720629771200 140720629753744 140117046476535 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
/proc/15315/statm: 3496244 71882 3260 1 0 3483478 0
[pid=15315/tid=15316] ppid=15313 vsize=13984976 memory=6791534058613427641 CPUtime=239.85 cores=1,3,5,7
/proc/15315/task/15316/stat : 15316 (java) R 15313 15313 12810 0 -1 4202560 15147 0 0 0 23980 5 0 0 20 0 15 0 154335137 14320615424 71882 33554432000 4194304 4196468 140720629771200 140117050713576 140116689503322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15317] ppid=15313 vsize=13984976 memory=2428 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15317/stat : 15317 (java) S 15313 15313 12810 0 -1 1077944384 2118 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71882 33554432000 4194304 4196468 140720629771200 140117003029264 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15318] ppid=15313 vsize=13984976 memory=1728 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15318/stat : 15318 (java) S 15313 15313 12810 0 -1 1077944384 474 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71882 33554432000 4194304 4196468 140720629771200 140117001976720 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15319] ppid=15313 vsize=13984976 memory=792 CPUtime=0.11 cores=1,3,5,7
/proc/15315/task/15319/stat : 15319 (java) S 15313 15313 12810 0 -1 1077944384 1412 0 0 0 10 1 0 0 20 0 15 0 154335138 14320615424 71882 33554432000 4194304 4196468 140720629771200 140117000924176 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15320] ppid=15313 vsize=13984976 memory=-7003737579269690708 CPUtime=0.1 cores=1,3,5,7
/proc/15315/task/15320/stat : 15320 (java) S 15313 15313 12810 0 -1 1077944384 778 0 0 0 9 1 0 0 20 0 15 0 154335138 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116639542416 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15321] ppid=15313 vsize=13984976 memory=287528 CPUtime=0.01 cores=1,3,5,7
/proc/15315/task/15321/stat : 15321 (java) S 15313 15313 12810 0 -1 1077944384 1241 0 0 0 1 0 0 0 20 0 15 0 154335139 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116160243696 140117046487682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15322] ppid=15313 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15322/stat : 15322 (java) S 15313 15313 12810 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116159189920 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15323] ppid=15313 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15323/stat : 15323 (java) S 15313 15313 12810 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154335140 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116158137328 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15324] ppid=15313 vsize=13984976 memory=8257237230706253920 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15324/stat : 15324 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116157085904 140117046495131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15325] ppid=15313 vsize=13984976 memory=-7173504570860347296 CPUtime=3.25 cores=1,3,5,7
/proc/15315/task/15325/stat : 15325 (java) S 15313 15313 12810 0 -1 1077944384 33273 0 0 0 321 4 0 0 20 0 15 0 154335142 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116156033520 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15326] ppid=15313 vsize=13984976 memory=7229830188779088278 CPUtime=3.98 cores=1,3,5,7
/proc/15315/task/15326/stat : 15326 (java) S 15313 15313 12810 0 -1 1077944384 27365 0 0 0 396 2 0 0 20 0 15 0 154335142 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116154980976 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15327] ppid=15313 vsize=13984976 memory=2204 CPUtime=0.81 cores=1,3,5,7
/proc/15315/task/15327/stat : 15327 (java) S 15313 15313 12810 0 -1 1077944384 8785 0 0 0 79 2 0 0 20 0 15 0 154335142 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116153928432 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15328] ppid=15313 vsize=13984976 memory=7792 CPUtime=0 cores=1,3,5,7
/proc/15315/task/15328/stat : 15328 (java) S 15313 15313 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335142 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116152876128 140117046486741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
[pid=15315/tid=15329] ppid=15313 vsize=13984976 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/15315/task/15329/stat : 15329 (java) S 15313 15313 12810 0 -1 1077944384 1902 0 0 0 4 3 0 0 20 0 15 0 154335143 14320615424 71882 33554432000 4194304 4196468 140720629771200 140116151822640 140117046487682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 7778304 140720629777565 140720629777740 140720629777740 140720629780431 0
Current children cumulated CPU time: 248.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 288912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 15313 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000951 s, system=0.000951 s
[startup+240.024 s]
# the end of solver process 15315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.261 s, system=0.275093 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.024
CPU time (s): 248.536
CPU user time (s): 248.261
CPU system time (s): 0.275093
CPU usage (%): 103.547
Max. virtual memory (cumulated for all children) (KiB): 13997300
Max. memory (cumulated for all children) (KiB): 288912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.261
system time used= 0.275093
maximum resident set size= 288248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8922
involuntary context switches= 202
# summary of solver processes directly reported to runsolver:
# pid: 15313,15315
# total CPU time (s): 248.536
# total CPU user time (s): 248.261
# total CPU system time (s): 0.275093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4729 second user time and 2.34001 second system time
The end