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 (12056 MiB free)
memory of node 1: 16384 MiB (12129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284396-1503213779/watcher-4284396-1503213779 -o /tmp/evaluation-result-4284396-1503213779/solver-4284396-1503213779 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1549451224 HOME/instance-4284396-1503213779.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
Current StackSize limit: 8192 KiB
solver pid=16912, runsolver pid=16909
[startup+0.100118 s]*
/proc/loadavg: 2.15 1.86 1.81 3/217 16928
/proc/meminfo: memFree=24749764/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13978596 memory=28576 CPUtime=0.12 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 5448 0 0 0 11 1 0 0 20 0 15 0 154465540 14314082304 7144 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3494649 7144 2904 1 0 3482966 0
[pid=16914/tid=16915] ppid=16912 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 3383 0 0 0 8 1 0 0 20 0 15 0 154465541 14314082304 7144 33554432000 4194304 4196468 140720967408976 140669370749824 140669350593886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14314082304 7144 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13978596 memory=140062673512064 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14314082304 7144 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14314082304 7144 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465541 14314082304 7144 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13978596 memory=140062673512064 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465543 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154465543 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154465543 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13978596 memory=140062673512064 CPUtime=0.01 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) R 16912 16912 13358 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668833876848 140669366534746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13978596 memory=140062673512064 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465546 14314082304 7144 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29960 KiB
[startup+0.210806 s]*
/proc/loadavg: 2.15 1.86 1.81 4/217 16928
/proc/meminfo: memFree=24738608/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13982852 memory=40264 CPUtime=0.34 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 8230 0 0 0 31 3 0 0 20 0 15 0 154465540 14318440448 10066 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3495713 10066 3044 1 0 3482966 0
[pid=16914/tid=16915] ppid=16912 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 5425 0 0 0 18 2 0 0 20 0 15 0 154465541 14318440448 10066 33554432000 4194304 4196468 140720967408976 140669370724304 140669366535325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13982852 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 10066 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13982852 memory=288370438825223808 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 10066 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 10066 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 10066 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13982852 memory=140062673512064 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 589 0 0 0 2 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13982852 memory=140062673512064 CPUtime=0.08 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 10066 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41648 KiB
[startup+0.31048 s]*
/proc/loadavg: 2.15 1.86 1.81 5/217 16928
/proc/meminfo: memFree=24731040/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13982852 memory=47660 CPUtime=0.53 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 9046 0 0 0 49 4 0 0 20 0 15 0 154465540 14318440448 11915 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3495713 11915 3121 1 0 3482966 0
[pid=16914/tid=16915] ppid=16912 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 5977 0 0 0 27 3 0 0 20 0 15 0 154465541 14318440448 11915 33554432000 4194304 4196468 140720967408976 140669370752192 140669366535325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 11915 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 11915 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 11915 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465541 14318440448 11915 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154465543 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) R 16912 16912 13358 0 -1 1077944384 689 0 0 0 4 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) R 16912 16912 13358 0 -1 4202560 206 0 0 0 4 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668834929136 140669358750526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 871 0 0 0 13 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465546 14318440448 11915 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49044 KiB
[startup+0.700752 s]
/proc/loadavg: 2.15 1.86 1.81 6/217 16928
/proc/meminfo: memFree=24710040/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13984976 memory=72316 CPUtime=1.67 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 11688 0 0 0 162 5 0 0 20 0 15 0 154465540 14320615424 18079 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3496244 18079 3217 1 0 3483478 0
[pid=16914/tid=16915] ppid=16912 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 6730 0 0 0 63 4 0 0 20 0 15 0 154465541 14320615424 18079 33554432000 4194304 4196468 140720967408976 140669370751832 140668991632584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14320615424 18079 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14320615424 18079 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13984976 memory=43028 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465541 14320615424 18079 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13984976 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154465541 14320615424 18079 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13984976 memory=796 CPUtime=0.27 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) R 16912 16912 13358 0 -1 4202560 1265 0 0 0 27 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668835968128 140669348057575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13984976 memory=10088 CPUtime=0.29 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) R 16912 16912 13358 0 -1 4202560 675 0 0 0 29 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668834920464 140669346174336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13984976 memory=1948 CPUtime=0.42 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 1710 0 0 0 42 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 18079 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73700 KiB
[startup+1.5009 s]
/proc/loadavg: 2.15 1.86 1.81 5/217 16928
/proc/meminfo: memFree=24666928/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13984976 memory=212695370466351 CPUtime=4.82 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 21321 0 0 0 480 2 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13984976 memory=212695370466352 CPUtime=5.3 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 40658 0 0 0 524 6 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13984976 memory=1384 CPUtime=0.73 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 8870 0 0 0 72 1 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13984976 memory=390188 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13984976 memory=4132 CPUtime=0.05 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 434 0 0 0 2 3 0 0 20 0 15 0 154465546 14320615424 99465 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 115.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 399244 KiB
[startup+162.301 s]
/proc/loadavg: 1.63 1.75 1.77 5/218 17016
/proc/meminfo: memFree=24408548/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13984976 memory=570688 CPUtime=177.27 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 104834 0 0 0 17654 73 0 0 20 0 15 0 154465540 14320615424 142672 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3496244 142672 3266 1 0 3483478 0
[pid=16914/tid=16915] ppid=16912 vsize=13984976 memory=564484 CPUtime=160.79 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 16347 0 0 0 16073 6 0 0 20 0 15 0 154465541 14320615424 142672 33554432000 4194304 4196468 140720967408976 140669370753120 140668991874912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13984976 memory=570688 CPUtime=1.31 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 1911 0 0 0 119 12 0 0 20 0 15 0 154465541 14320615424 142672 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13984976 memory=1384 CPUtime=1.32 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 2947 0 0 0 120 12 0 0 20 0 15 0 154465541 14320615424 142672 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13984976 memory=4132 CPUtime=1.32 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 2981 0 0 0 120 12 0 0 20 0 15 0 154465541 14320615424 142672 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13984976 memory=43036 CPUtime=1.32 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2393 0 0 0 120 12 0 0 20 0 15 0 154465541 14320615424 142672 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 1679 0 0 0 6 2 0 0 20 0 15 0 154465543 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13984976 memory=1384 CPUtime=4.85 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 22215 0 0 0 483 2 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13984976 memory=570864 CPUtime=5.36 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 41977 0 0 0 530 6 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13984976 memory=1384 CPUtime=0.75 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 10566 0 0 0 73 2 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13984976 memory=570688 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13984976 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 466 0 0 0 3 4 0 0 20 0 15 0 154465546 14320615424 142672 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 177.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 572072 KiB
[startup+222.301 s]
/proc/loadavg: 1.79 1.75 1.77 3/218 17017
/proc/meminfo: memFree=24492216/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13984976 memory=438964 CPUtime=238.89 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 110937 0 0 0 23803 86 0 0 20 0 15 0 154465540 14320615424 109741 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3496244 109741 3279 1 0 3483478 0
[pid=16914/tid=16915] ppid=16912 vsize=13984976 memory=1384 CPUtime=220.2 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 17309 0 0 0 22013 7 0 0 20 0 15 0 154465541 14320615424 109741 33554432000 4194304 4196468 140720967408976 140669370752720 140668991859203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13984976 memory=1384 CPUtime=1.85 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 2722 0 0 0 170 15 0 0 20 0 15 0 154465541 14320615424 109741 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13984976 memory=438964 CPUtime=1.86 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 3263 0 0 0 171 15 0 0 20 0 15 0 154465541 14320615424 109741 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13984976 memory=445120 CPUtime=1.85 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 3432 0 0 0 170 15 0 0 20 0 15 0 154465541 14320615424 109741 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13984976 memory=1292 CPUtime=1.83 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2996 0 0 0 169 14 0 0 20 0 15 0 154465541 14320615424 109741 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13984976 memory=1728 CPUtime=0.13 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 4083 0 0 0 10 3 0 0 20 0 15 0 154465543 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13984976 memory=1384 CPUtime=4.85 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 22215 0 0 0 483 2 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13984976 memory=1384 CPUtime=5.38 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 42129 0 0 0 532 6 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13984976 memory=1384 CPUtime=0.75 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 10962 0 0 0 73 2 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13984976 memory=43036 CPUtime=0.1 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 474 0 0 0 4 6 0 0 20 0 15 0 154465546 14320615424 109741 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 238.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 440348 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.71 1.74 1.77 3/218 17017
/proc/meminfo: memFree=24472316/32770624 swapFree=67108860/67108860
[pid=16912] ppid=16909 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (xcsp3-exec) S 16909 16912 13358 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154465540 9740288 346 33554432000 4194304 5098028 140731060419024 140731060417128 139839892951676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23031808 140731060421748 140731060421952 140731060421952 140731060424683 0
/proc/16912/statm: 2378 346 289 221 0 87 0
[pid=16914] ppid=16912 vsize=13984976 memory=415880 CPUtime=257.01 cores=1,3,5,7
/proc/16914/stat : 16914 (java) S 16912 16912 13358 0 -1 1077944320 110979 0 0 0 25614 87 0 0 20 0 15 0 154465540 14320615424 103970 33554432000 4194304 4196468 140720967408976 140720967391520 140669366513399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
/proc/16914/statm: 3496244 103970 3279 1 0 3483478 0
[pid=16914/tid=16915] ppid=16912 vsize=13984976 memory=6791534058613427641 CPUtime=237.76 cores=1,3,5,7
/proc/16914/task/16915/stat : 16915 (java) R 16912 16912 13358 0 -1 4202560 17323 0 0 0 23769 7 0 0 20 0 15 0 154465541 14320615424 103970 33554432000 4194304 4196468 140720967408976 140669370752720 140668993263669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16916] ppid=16912 vsize=13984976 memory=4872558044660077418 CPUtime=1.98 cores=1,3,5,7
/proc/16914/task/16916/stat : 16916 (java) S 16912 16912 13358 0 -1 1077944384 2728 0 0 0 183 15 0 0 20 0 15 0 154465541 14320615424 103970 33554432000 4194304 4196468 140720967408976 140669319134096 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16917] ppid=16912 vsize=13984976 memory=796 CPUtime=1.99 cores=1,3,5,7
/proc/16914/task/16917/stat : 16917 (java) S 16912 16912 13358 0 -1 1077944384 3263 0 0 0 184 15 0 0 20 0 15 0 154465541 14320615424 103970 33554432000 4194304 4196468 140720967408976 140669318081296 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16918] ppid=16912 vsize=13984976 memory=10088 CPUtime=1.99 cores=1,3,5,7
/proc/16914/task/16918/stat : 16918 (java) S 16912 16912 13358 0 -1 1077944384 3432 0 0 0 184 15 0 0 20 0 15 0 154465541 14320615424 103970 33554432000 4194304 4196468 140720967408976 140669317029008 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16919] ppid=16912 vsize=13984976 memory=1384 CPUtime=1.97 cores=1,3,5,7
/proc/16914/task/16919/stat : 16919 (java) S 16912 16912 13358 0 -1 1077944384 2996 0 0 0 182 15 0 0 20 0 15 0 154465541 14320615424 103970 33554432000 4194304 4196468 140720967408976 140669315976208 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16920] ppid=16912 vsize=13984976 memory=1384 CPUtime=0.14 cores=1,3,5,7
/proc/16914/task/16920/stat : 16920 (java) S 16912 16912 13358 0 -1 1077944384 4105 0 0 0 11 3 0 0 20 0 15 0 154465543 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668907821168 140669366524546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16921] ppid=16912 vsize=13984976 memory=960 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16921/stat : 16921 (java) S 16912 16912 13358 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668906767136 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16922] ppid=16912 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16922/stat : 16922 (java) S 16912 16912 13358 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 154465543 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668905714800 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16923] ppid=16912 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16923/stat : 16923 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668904663120 140669366531995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16924] ppid=16912 vsize=13984976 memory=4084 CPUtime=4.85 cores=1,3,5,7
/proc/16914/task/16924/stat : 16924 (java) S 16912 16912 13358 0 -1 1077944384 22215 0 0 0 483 2 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668835981936 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16925] ppid=16912 vsize=13984976 memory=932 CPUtime=5.38 cores=1,3,5,7
/proc/16914/task/16925/stat : 16925 (java) S 16912 16912 13358 0 -1 1077944384 42129 0 0 0 532 6 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668834929136 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16926] ppid=16912 vsize=13984976 memory=1572 CPUtime=0.75 cores=1,3,5,7
/proc/16914/task/16926/stat : 16926 (java) S 16912 16912 13358 0 -1 1077944384 10962 0 0 0 73 2 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668833876848 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16927] ppid=16912 vsize=13984976 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/16914/task/16927/stat : 16927 (java) S 16912 16912 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668832824288 140669366523605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
[pid=16914/tid=16928] ppid=16912 vsize=13984976 memory=8048 CPUtime=0.12 cores=1,3,5,7
/proc/16914/task/16928/stat : 16928 (java) S 16912 16912 13358 0 -1 1077944384 474 0 0 0 5 7 0 0 20 0 15 0 154465546 14320615424 103970 33554432000 4194304 4196468 140720967408976 140668831771056 140669366524546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17641472 140720967410845 140720967411020 140720967411020 140720967413711 0
Current children cumulated CPU time: 257.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 417264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 16912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001918 s, system=0 s
[startup+240.026 s]
# the end of solver process 16914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=256.157 s, system=0.884703 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.026
CPU time (s): 257.041
CPU user time (s): 256.157
CPU system time (s): 0.884703
CPU usage (%): 107.089
Max. virtual memory (cumulated for all children) (KiB): 13998076
Max. memory (cumulated for all children) (KiB): 624148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.157
system time used= 0.884703
maximum resident set size= 625708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111645
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= 10367
involuntary context switches= 472
# summary of solver processes directly reported to runsolver:
# pid: 16912,16914
# total CPU time (s): 257.041
# total CPU user time (s): 256.157
# total CPU system time (s): 0.884703
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.85284 second user time and 2.0189 second system time
The end