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 (11168 MiB free)
memory of node 1: 16384 MiB (11985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284228-1503214417/watcher-4284228-1503214417 -o /tmp/evaluation-result-4284228-1503214417/solver-4284228-1503214417 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3840 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 854257935 HOME/instance-4284228-1503214417.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7325, runsolver pid=7322
[startup+0.100752 s]*
/proc/loadavg: 1.73 1.76 1.77 3/217 7341
/proc/meminfo: memFree=23693036/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
[pid=7327] ppid=7325 vsize=13978596 memory=27796 CPUtime=0.12 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7325 7325 3809 0 -1 1077944320 5375 0 0 0 11 1 0 0 20 0 15 0 154529472 14314082304 6949 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3494649 6949 2838 1 0 3482966 0
[pid=7327/tid=7328] ppid=7325 vsize=13978596 memory=7972116394354643803 CPUtime=0.09 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) R 7325 7325 3809 0 -1 4202560 3387 0 0 0 8 1 0 0 20 0 15 0 154529473 14314082304 7014 33554432000 4194304 4196468 140736842258208 140007698872112 140007680009808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7325 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14314082304 7014 33554432000 4194304 4196468 140736842258208 140007624726800 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7325 vsize=13978596 memory=140670978156160 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14314082304 7014 33554432000 4194304 4196468 140736842258208 140007623674256 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7325 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14314082304 7014 33554432000 4194304 4196468 140736842258208 140007622621712 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7325 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529474 14314082304 7014 33554432000 4194304 4196468 140736842258208 140007621569168 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7325 vsize=13978596 memory=140670978156160 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529475 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006605711856 140007694649986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7325 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7325 7325 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154529475 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006604658080 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7325 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7325 7325 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154529476 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006603605488 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7325 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7325 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) R 7325 7325 3809 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7325 7325 3809 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13978596 memory=140670978156160 CPUtime=0.01 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) R 7325 7325 3809 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006599395568 140007673571164 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13978596 memory=140670978156160 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529478 14314082304 7014 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29180 KiB
[startup+0.210645 s]*
/proc/loadavg: 1.73 1.76 1.77 3/217 7341
/proc/meminfo: memFree=23681376/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
[pid=7327] ppid=7325 vsize=13982852 memory=40448 CPUtime=0.33 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7325 7325 3809 0 -1 1077944320 8162 0 0 0 31 2 0 0 20 0 15 0 154529472 14318440448 10112 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3495713 10112 3078 1 0 3482966 0
[pid=7327/tid=7328] ppid=7325 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) R 7325 7325 3809 0 -1 4202560 5319 0 0 0 18 2 0 0 20 0 15 0 154529473 14318473216 10112 33554432000 4194304 4196468 140736842258208 140007698849632 140007687318557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7325 vsize=13982884 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318473216 10112 33554432000 4194304 4196468 140736842258208 140007624726800 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7325 vsize=13982852 memory=140670978690013 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 10112 33554432000 4194304 4196468 140736842258208 140007623674256 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7325 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 10112 33554432000 4194304 4196468 140736842258208 140007622621712 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7325 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 10112 33554432000 4194304 4196468 140736842258208 140007621569168 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7325 vsize=13982852 memory=140670978156160 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529475 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006605711856 140007694649986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7325 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7325 7325 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154529475 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006604658080 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7325 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7325 7325 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154529476 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006603605488 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7325 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318473216 10112 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7325 vsize=13982884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) S 7325 7325 3809 0 -1 1077944384 613 0 0 0 3 0 0 0 20 0 15 0 154529478 14318473216 10112 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7325 7325 3809 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 154529478 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13982852 memory=140670978156160 CPUtime=0.08 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7325 7325 3809 0 -1 1077944384 723 0 0 0 8 0 0 0 20 0 15 0 154529478 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529478 14318440448 10112 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41832 KiB
[startup+0.310418 s]*
/proc/loadavg: 1.73 1.76 1.77 4/217 7341
/proc/meminfo: memFree=23674304/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
[pid=7327] ppid=7325 vsize=13982852 memory=47576 CPUtime=0.51 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7325 7325 3809 0 -1 1077944320 9060 0 0 0 48 3 0 0 20 0 15 0 154529472 14318440448 11894 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3495713 11894 3121 1 0 3482966 0
[pid=7327/tid=7328] ppid=7325 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) R 7325 7325 3809 0 -1 4202560 5932 0 0 0 27 2 0 0 20 0 15 0 154529473 14318440448 11894 33554432000 4194304 4196468 140736842258208 140007698869296 140007694660765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7325 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 11894 33554432000 4194304 4196468 140736842258208 140007624726800 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7325 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 11894 33554432000 4194304 4196468 140736842258208 140007623674256 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7325 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 11894 33554432000 4194304 4196468 140736842258208 140007622621712 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7325 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529474 14318440448 11894 33554432000 4194304 4196468 140736842258208 140007621569168 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7325 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7325 7325 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154529475 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006605711856 140007694649986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7325 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7325 7325 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154529475 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006604658080 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7325 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7325 7325 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154529476 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006603605488 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7325 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7325 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) R 7325 7325 3809 0 -1 4202560 698 0 0 0 4 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006601500656 140007672233584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) R 7325 7325 3809 0 -1 4202560 320 0 0 0 3 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006600448112 140007676157195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) R 7325 7325 3809 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529478 14318440448 11894 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48960 KiB
[startup+0.700926 s]
/proc/loadavg: 1.73 1.76 1.77 5/217 7341
/proc/meminfo: memFree=23619572/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
[pid=7327] ppid=7325 vsize=13982928 memory=204476 CPUtime=1.53 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7325 7325 3809 0 -1 1077944320 12027 0 0 0 147 6 0 0 20 0 15 0 154529472 14318518272 51119 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3495732 51119 3203 1 0 3482966 0
[pid=7327/tid=7328] ppid=7325 vsize=13982928 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) R 7325 7325 3809 0 -1 4202560 6300 0 0 0 62 4 0 0 20 0 15 0 154529473 14318518272 51119 33554432000 4194304 4196468 140736842258208 140007698876032 140007296861120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7325 vsize=13982928 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) S 7325 7325 3809 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 154529474 14318518272 51119 33554432000 4194304 4196468 140736842258208 140007624726800 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7325 vsize=13982928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) S 7325 7325 3809 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 154529474 14318518272 51119 33554432000 4194304 4196468 140736842258208 140007623674256 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7325 vsize=13982928 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529474 14318518272 51119 33554432000 4194304 4196468 140736842258208 140007622621712 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7325 vsize=13982928 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) S 7325 7325 3809 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154529474 14318518272 51119 33554432000 4194304 4196468 140736842258208 140007621569168 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7325 vsize=13982928 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7325 7325 3809 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 154529475 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006605711856 140007694649986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7325 vsize=13982928 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7325 7325 3809 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154529475 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006604658080 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7325 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7325 7325 3809 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154529476 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006603605488 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7325 vsize=13982928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7325 vsize=13982928 memory=11112 CPUtime=0.3 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) S 7325 7325 3809 0 -1 1077944384 1660 0 0 0 30 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13982928 memory=1228 CPUtime=0.27 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7325 7325 3809 0 -1 1077944384 1425 0 0 0 27 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13982928 memory=1420 CPUtime=0.24 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7325 7325 3809 0 -1 1077944384 1210 0 0 0 24 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13982928 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13982928 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154529478 14318518272 51119 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 205860 KiB
[startup+1.50088 s]
/proc/loadavg: 1.73 1.76 1.77 3/217 7341
/proc/meminfo: memFree=23516000/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/7327/task/7337/stat : 7337 (java) S 7325 7325 3809 0 -1 1077944384 5199 0 0 0 130 1 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13984976 memory=6299802978650451056 CPUtime=1.43 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7325 7325 3809 0 -1 1077944384 6258 0 0 0 143 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13984976 memory=5064640 CPUtime=0.57 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7325 7325 3809 0 -1 1077944384 5318 0 0 0 57 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13984976 memory=42912 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13984976 memory=1296 CPUtime=0.13 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 345 0 0 0 7 6 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 238 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5066024 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.79 1.78 3/218 7430
/proc/meminfo: memFree=18033628/32770624 swapFree=67108860/67108860
[pid=7325] ppid=7322 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (xcsp3-exec) S 7322 7325 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154529472 9740288 346 33554432000 4194304 5098028 140736398303984 140736398302088 140319199285884 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28524544 140736398308469 140736398308672 140736398308672 140736398311403 0
/proc/7325/statm: 2378 346 289 221 0 87 0
[pid=7327] ppid=7325 vsize=13984976 memory=5064640 CPUtime=255.72 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7325 7325 3809 0 -1 1077944320 75472 0 0 0 25012 560 0 0 20 0 15 0 154529472 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3496244 1266160 3261 1 0 3483478 0
[pid=7327/tid=7328] ppid=7325 vsize=13984976 memory=8112282956445269571 CPUtime=235.16 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) R 7325 7325 3809 0 -1 4202560 22698 0 0 0 23505 11 0 0 20 0 15 0 154529473 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140007698874592 140007299552044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7325 vsize=13984976 memory=4126316290023845779 CPUtime=4.08 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) S 7325 7325 3809 0 -1 1077944384 3859 0 0 0 275 133 0 0 20 0 15 0 154529474 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140007624726800 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7325 vsize=13984976 memory=16448 CPUtime=4.11 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) S 7325 7325 3809 0 -1 1077944384 8651 0 0 0 272 139 0 0 20 0 15 0 154529474 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140007623674256 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7325 vsize=13984976 memory=23776 CPUtime=4.07 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) S 7325 7325 3809 0 -1 1077944384 3949 0 0 0 272 135 0 0 20 0 15 0 154529474 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140007622621712 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7325 vsize=13984976 memory=4048 CPUtime=4.07 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) S 7325 7325 3809 0 -1 1077944384 7709 0 0 0 277 130 0 0 20 0 15 0 154529474 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140007621569168 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7325 vsize=13984976 memory=1236 CPUtime=0.69 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7325 7325 3809 0 -1 1077944384 10134 0 0 0 67 2 0 0 20 0 15 0 154529475 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006605711856 140007694649986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7325 vsize=13984976 memory=644 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7325 7325 3809 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 154529475 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006604658144 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7325 vsize=13984976 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7325 7325 3809 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 154529476 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006603605504 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7325 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7325 vsize=13984976 memory=1420 CPUtime=1.31 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) S 7325 7325 3809 0 -1 1077944384 5199 0 0 0 130 1 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7325 vsize=13984976 memory=15876 CPUtime=1.43 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7325 7325 3809 0 -1 1077944384 6258 0 0 0 143 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7325 vsize=13984976 memory=16448 CPUtime=0.57 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7325 7325 3809 0 -1 1077944384 5318 0 0 0 57 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7325 vsize=13984976 memory=23776 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7325 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7325 vsize=13984976 memory=4048 CPUtime=0.14 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7325 7325 3809 0 -1 1077944384 345 0 0 0 8 6 0 0 20 0 15 0 154529478 14320615424 1266160 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current children cumulated CPU time: 255.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 5066024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.03 s]
# the end of solver process 7325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001931 s, system=0 s
[startup+240.387 s]
# the end of solver process 7327 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.011 s, system=6.11784 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
[startup+240.212 s]
/proc/loadavg: 1.96 1.79 1.78 6/219 7432
/proc/meminfo: memFree=17886220/32770624 swapFree=67108860/67108860
[pid=7327] ppid=7322 vsize=14118104 memory=5355692 CPUtime=256.5 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7322 7325 3809 0 -1 1077944320 77647 0 0 0 25057 593 0 0 20 0 17 0 154529472 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3529526 1338923 3262 1 0 3516760 0
[pid=7327/tid=7328] ppid=7322 vsize=14118104 memory=5064640 CPUtime=235.16 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) S 7322 7325 3809 0 -1 1077944384 22698 0 0 0 23505 11 0 0 20 0 17 0 154529473 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140007698874704 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7322 vsize=14118104 memory=1160 CPUtime=4.28 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) R 7322 7325 3809 0 -1 4202560 4530 0 0 0 285 143 0 0 20 0 17 0 154529474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140007624727000 140007687738539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7322 vsize=14118104 memory=288230574492221466 CPUtime=4.3 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) R 7322 7325 3809 0 -1 4202560 8927 0 0 0 284 146 0 0 20 0 17 0 154529474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140007623674256 140007687741556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7322 vsize=14118104 memory=288230583166042425 CPUtime=4.25 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) R 7322 7325 3809 0 -1 4202560 4278 0 0 0 282 143 0 0 20 0 17 0 154529474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140007622621600 140007687738507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7322 vsize=14118104 memory=15821118447553063 CPUtime=4.27 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) R 7322 7325 3809 0 -1 4202560 8155 0 0 0 289 138 0 0 20 0 17 0 154529474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140007621569168 140007687738539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7322 vsize=14118104 memory=1692 CPUtime=0.69 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7322 7325 3809 0 -1 1077944384 10146 0 0 0 67 2 0 0 20 0 17 0 154529475 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006605710368 140007694649045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7322 vsize=14118104 memory=916 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7322 7325 3809 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 154529475 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006604658144 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7322 vsize=14118104 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7322 7325 3809 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 154529476 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006603605504 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7322 vsize=14118104 memory=2548 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7322 7325 3809 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7322 vsize=14118104 memory=2548 CPUtime=1.31 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) S 7322 7325 3809 0 -1 1077944384 5199 0 0 0 130 1 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7322 vsize=14118104 memory=4100 CPUtime=1.43 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7322 7325 3809 0 -1 1077944384 6258 0 0 0 143 0 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7322 vsize=14118104 memory=1160 CPUtime=0.57 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7322 7325 3809 0 -1 1077944384 5318 0 0 0 57 0 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7322 vsize=14118104 memory=3176 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7322 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7322 vsize=14118104 memory=1384 CPUtime=0.14 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7322 7325 3809 0 -1 1077944384 345 0 0 0 8 6 0 0 20 0 17 0 154529478 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7431] ppid=7322 vsize=14118104 memory=5064640 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7431/stat : 7431 (java) S 7322 7325 3809 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 17 0 154553474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006589780592 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7432] ppid=7322 vsize=14118104 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7432/stat : 7432 (java) S 7322 7325 3809 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 154553474 14456938496 1338923 33554432000 4194304 4196468 140736842258208 140006588727104 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current cumulated CPU time of completed processes: 0.001931 s
Current children cumulated CPU time: 256.5 s
Current children cumulated vsize: 14118104 KiB
Current children cumulated memory: 5355692 KiB
[startup+240.301 s]
/proc/loadavg: 1.96 1.79 1.78 6/219 7432
/proc/meminfo: memFree=17886220/32770624 swapFree=67108860/67108860
[pid=7327] ppid=7322 vsize=14118104 memory=5478588 CPUtime=256.85 cores=0,2,4,6
/proc/7327/stat : 7327 (java) S 7322 7325 3809 0 -1 1077944320 82219 0 0 0 25081 604 0 0 20 0 17 0 154529472 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140736842240752 140007694638839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
/proc/7327/statm: 3529526 1369647 3262 1 0 3516760 0
[pid=7327/tid=7328] ppid=7322 vsize=14118104 memory=1716 CPUtime=235.16 cores=0,2,4,6
/proc/7327/task/7328/stat : 7328 (java) S 7322 7325 3809 0 -1 1077944384 22698 0 0 0 23505 11 0 0 20 0 17 0 154529473 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140007698874704 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7329] ppid=7322 vsize=14118104 memory=1728 CPUtime=4.36 cores=0,2,4,6
/proc/7327/task/7329/stat : 7329 (java) R 7322 7325 3809 0 -1 4202560 4761 0 0 0 290 146 0 0 20 0 17 0 154529474 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140007624727000 140007687738765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7330] ppid=7322 vsize=14118104 memory=2428 CPUtime=4.39 cores=0,2,4,6
/proc/7327/task/7330/stat : 7330 (java) R 7322 7325 3809 0 -1 4202560 9477 0 0 0 290 149 0 0 20 0 17 0 154529474 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140007623674256 140007687738539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7331] ppid=7322 vsize=14118104 memory=1296 CPUtime=4.34 cores=0,2,4,6
/proc/7327/task/7331/stat : 7331 (java) R 7322 7325 3809 0 -1 4202560 4801 0 0 0 288 146 0 0 20 0 17 0 154529474 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140007622621600 140007679666258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7332] ppid=7322 vsize=14118104 memory=42912 CPUtime=4.36 cores=0,2,4,6
/proc/7327/task/7332/stat : 7332 (java) R 7322 7325 3809 0 -1 4202560 11421 0 0 0 296 140 0 0 20 0 17 0 154529474 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140007621569168 140007687738708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7333] ppid=7322 vsize=14118104 memory=4140 CPUtime=0.69 cores=0,2,4,6
/proc/7327/task/7333/stat : 7333 (java) S 7322 7325 3809 0 -1 1077944384 10146 0 0 0 67 2 0 0 20 0 17 0 154529475 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006605710368 140007694649045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7334] ppid=7322 vsize=14118104 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7334/stat : 7334 (java) S 7322 7325 3809 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 154529475 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006604658144 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7335] ppid=7322 vsize=14118104 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7335/stat : 7335 (java) S 7322 7325 3809 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 17 0 154529476 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006603605504 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7336] ppid=7322 vsize=14118104 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7336/stat : 7336 (java) S 7322 7325 3809 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006602554064 140007694657435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7337] ppid=7322 vsize=14118104 memory=1008 CPUtime=1.31 cores=0,2,4,6
/proc/7327/task/7337/stat : 7337 (java) S 7322 7325 3809 0 -1 1077944384 5199 0 0 0 130 1 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006601500656 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7338] ppid=7322 vsize=14118104 memory=8612 CPUtime=1.43 cores=0,2,4,6
/proc/7327/task/7338/stat : 7338 (java) S 7322 7325 3809 0 -1 1077944384 6258 0 0 0 143 0 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006600448112 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7339] ppid=7322 vsize=14118104 memory=5784 CPUtime=0.57 cores=0,2,4,6
/proc/7327/task/7339/stat : 7339 (java) S 7322 7325 3809 0 -1 1077944384 5318 0 0 0 57 0 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006599395568 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7340] ppid=7322 vsize=14118104 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7340/stat : 7340 (java) S 7322 7325 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006598343264 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7341] ppid=7322 vsize=14118104 memory=5064640 CPUtime=0.14 cores=0,2,4,6
/proc/7327/task/7341/stat : 7341 (java) S 7322 7325 3809 0 -1 1077944384 345 0 0 0 8 6 0 0 20 0 17 0 154529478 14456938496 1369647 33554432000 4194304 4196468 140736842258208 140006597290800 140007694649986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7431] ppid=7322 vsize=14118104 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7431/stat : 7431 (java) S 7322 7325 3809 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 17 0 154553474 14456938496 1370159 33554432000 4194304 4196468 140736842258208 140006589780592 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
[pid=7327/tid=7432] ppid=7322 vsize=14118104 memory=11112 CPUtime=0 cores=0,2,4,6
/proc/7327/task/7432/stat : 7432 (java) S 7322 7325 3809 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 17 0 154553474 14456938496 1370159 33554432000 4194304 4196468 140736842258208 140006588727104 140007694649045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10539008 140736842265757 140736842265932 140736842265932 140736842268623 0
Current cumulated CPU time of completed processes: 0.001931 s
Current children cumulated CPU time: 256.85 s
Current children cumulated vsize: 14118104 KiB
Current children cumulated memory: 5478588 KiB
Child status: 143
Real time (s): 240.387
CPU time (s): 257.129
CPU user time (s): 251.011
CPU system time (s): 6.11784
CPU usage (%): 106.965
Max. virtual memory (cumulated for all children) (KiB): 14118104
Max. memory (cumulated for all children) (KiB): 5478588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.011
system time used= 6.11784
maximum resident set size= 5523700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84581
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= 8439
involuntary context switches= 361
# summary of solver processes directly reported to runsolver:
# pid: 7325,7327
# total CPU time (s): 257.129
# total CPU user time (s): 251.011
# total CPU system time (s): 6.11784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53171 second user time and 2.47459 second system time
The end