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 (15200 MiB free)
memory of node 1: 16384 MiB (15617 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270392-1502618478/watcher-4270392-1502618478 -o /tmp/evaluation-result-4270392-1502618478/solver-4270392-1502618478 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 881000455 HOME/instance-4270392-1502618478.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=29562, runsolver pid=29559
[startup+0.100061 s]*
/proc/loadavg: 1.95 1.92 1.86 4/202 29569
/proc/meminfo: memFree=31541076/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13358712 memory=14628 CPUtime=0.01 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 3425 0 0 0 1 0 0 0 20 0 6 0 64041208 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3339678 3657 1904 1 0 3329175 0
[pid=29564/tid=29565] ppid=29562 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 2193 0 0 0 1 0 0 0 20 0 6 0 64041208 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 139755893096080 139755888878749 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64041209 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13358712 memory=140202633504384 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64041209 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64041209 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64041209 13679321088 3657 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16008 KiB
[startup+0.210845 s]*
/proc/loadavg: 1.95 1.92 1.86 5/211 29578
/proc/meminfo: memFree=31522808/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13974352 memory=27664 CPUtime=0.1 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 5321 0 0 0 9 1 0 0 20 0 15 0 64041208 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3493588 6916 2735 1 0 3482964 0
[pid=29564/tid=29565] ppid=29562 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 3466 0 0 0 7 0 0 0 20 0 15 0 64041208 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755893079792 139755888878749 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13974352 memory=140202633531708 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13974352 memory=140202633504384 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041210 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041210 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041211 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13974352 memory=140202633504384 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 64041213 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13974352 memory=140202633504384 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041217 14309736448 6916 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29044 KiB
[startup+0.310299 s]*
/proc/loadavg: 1.95 1.92 1.86 6/211 29578
/proc/meminfo: memFree=31507260/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13974352 memory=37276 CPUtime=0.29 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 8911 0 0 0 26 3 0 0 20 0 15 0 64041208 14309736448 9319 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3493588 9319 2982 1 0 3482964 0
[pid=29564/tid=29565] ppid=29562 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 6121 0 0 0 15 2 0 0 20 0 15 0 64041208 14309736448 9319 18446744073709551615 4194304 4196468 140726811668976 139755893089664 139755874924942 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 9319 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041210 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041210 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041211 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) R 29562 29562 17093 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 15 0 64041213 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755872342941 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) R 29562 29562 17093 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 15 0 64041213 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13974352 memory=140202633504384 CPUtime=0.06 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) R 29562 29562 17093 0 -1 4202560 705 0 0 0 6 0 0 0 20 0 15 0 64041213 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888868758 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13974352 memory=140202633504384 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041217 14309736448 9831 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38656 KiB
[startup+0.70346 s]
/proc/loadavg: 1.95 1.92 1.86 6/211 29578
/proc/meminfo: memFree=31481380/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=69376 CPUtime=1.2 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 13437 0 0 0 114 6 0 0 20 0 15 0 64041208 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3495183 17344 3169 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 8568 0 0 0 52 4 0 0 20 0 15 0 64041208 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755893082288 139755888878749 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=140202496633841 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=280404993581216 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=280404993122776 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=289 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041211 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=822 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=53 CPUtime=0.15 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 913 0 0 0 15 0 0 0 20 0 15 0 64041213 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 1125 0 0 0 16 0 0 0 20 0 15 0 64041213 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=102 CPUtime=0.3 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 1524 0 0 0 30 0 0 0 20 0 15 0 64041213 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=218 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=4 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041217 14316269568 17344 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70756 KiB
[startup+1.50082 s]
/proc/loadavg: 1.95 1.92 1.86 7/211 29578
/proc/meminfo: memFree=31401904/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=111036 CPUtime=3.64 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 31127 0 0 0 355 9 0 0 20 0 15 0 64041208 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3495183 27759 3195 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 9749 0 0 0 131 4 0 0 20 0 15 0 64041208 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755893092112 139755505893557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=280404993059072 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041209 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=280404992986248 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 27759 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=280404993239392 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64041211 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=255176 CPUtime=4.92 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 29330 0 0 0 489 3 0 0 20 0 15 0 64041213 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=280404993792344 CPUtime=5.09 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 25092 0 0 0 506 3 0 0 20 0 15 0 64041213 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=4427207343990470186 CPUtime=0.64 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 6477 0 0 0 63 1 0 0 20 0 15 0 64041213 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=1708 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1574 0 0 0 0 1 0 0 20 0 15 0 64041217 14316269568 63920 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 112.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 257060 KiB
[startup+162.301 s]
/proc/loadavg: 1.78 1.96 1.89 3/211 29662
/proc/meminfo: memFree=31156752/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=242768 CPUtime=172.89 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 85960 0 0 0 17267 22 0 0 20 0 15 0 64041208 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3495183 60692 3245 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=242768 CPUtime=162.02 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 15254 0 0 0 16195 7 0 0 20 0 15 0 64041208 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755893095904 139755506343462 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=242768 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 497 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 1467 0 0 0 1 0 0 0 20 0 15 0 64041209 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=242768 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1509 0 0 0 1 1 0 0 20 0 15 0 64041209 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 1728 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=242768 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 1339 0 0 0 1 0 0 0 20 0 15 0 64041210 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=242768 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=242768 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64041211 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=1000 CPUtime=4.93 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 29394 0 0 0 490 3 0 0 20 0 15 0 64041213 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=796 CPUtime=5.09 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 25100 0 0 0 506 3 0 0 20 0 15 0 64041213 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 6698 0 0 0 63 1 0 0 20 0 15 0 64041213 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=242768 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=242768 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1605 0 0 0 0 2 0 0 20 0 15 0 64041217 14316269568 60692 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 172.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 244148 KiB
[startup+222.301 s]
/proc/loadavg: 1.93 1.98 1.90 3/215 29679
/proc/meminfo: memFree=31171564/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=224816 CPUtime=232.91 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 87069 0 0 0 23267 24 0 0 20 0 15 0 64041208 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3495183 56204 3245 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=224816 CPUtime=222.01 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 15657 0 0 0 22194 7 0 0 20 0 15 0 64041208 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755893095904 139755507757277 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=224816 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 1480 0 0 0 1 0 0 0 20 0 15 0 64041209 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=224816 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1510 0 0 0 1 1 0 0 20 0 15 0 64041209 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2139 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=224816 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 1535 0 0 0 2 0 0 0 20 0 15 0 64041210 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64041211 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=1992 CPUtime=4.93 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 29397 0 0 0 490 3 0 0 20 0 15 0 64041213 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=1204 CPUtime=5.09 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 25107 0 0 0 506 3 0 0 20 0 15 0 64041213 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=1000 CPUtime=0.64 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 15 0 64041213 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=194752 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=4028 CPUtime=0.03 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1619 0 0 0 0 3 0 0 20 0 15 0 64041217 14316269568 56204 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 232.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226196 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.79 1.94 1.89 3/215 29679
/proc/meminfo: memFree=31174884/32770624 swapFree=67108860/67108860
[pid=29562] ppid=29559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29562/stat : 29562 (xcsp3-exec) S 29559 29562 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64041199 9740288 345 18446744073709551615 4194304 5098028 140729495855120 140729495853224 139936058843772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 23289856 140729495859583 140729495859786 140729495859786 140729495863275 0
/proc/29562/statm: 2378 345 289 221 0 87 0
[pid=29564] ppid=29562 vsize=13980732 memory=219684 CPUtime=250.63 cores=1,3,5,7
/proc/29564/stat : 29564 (java) S 29562 29562 17093 0 -1 1077944320 87203 0 0 0 25039 24 0 0 20 0 15 0 64041208 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 140726811651520 139755888856823 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
/proc/29564/statm: 3495183 54921 3245 1 0 3483476 0
[pid=29564/tid=29565] ppid=29562 vsize=13980732 memory=509 CPUtime=239.71 cores=1,3,5,7
/proc/29564/task/29565/stat : 29565 (java) R 29562 29562 17093 0 -1 4202560 15739 0 0 0 23964 7 0 0 20 0 15 0 64041208 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755893095904 139755507757975 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29566] ppid=29562 vsize=13980732 memory=64 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29566/stat : 29566 (java) S 29562 29562 17093 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755823291024 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29567] ppid=29562 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29567/stat : 29567 (java) S 29562 29562 17093 0 -1 1077944384 1482 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755822238224 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29568] ppid=29562 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29568/stat : 29568 (java) S 29562 29562 17093 0 -1 1077944384 1517 0 0 0 1 1 0 0 20 0 15 0 64041209 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755821185424 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29569] ppid=29562 vsize=13980732 memory=36212 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29569/stat : 29569 (java) S 29562 29562 17093 0 -1 1077944384 2139 0 0 0 2 0 0 0 20 0 15 0 64041209 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755486099728 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29570] ppid=29562 vsize=13980732 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/29564/task/29570/stat : 29570 (java) S 29562 29562 17093 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 15 0 64041210 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755367431024 139755888867970 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29571] ppid=29562 vsize=13980732 memory=219684 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29571/stat : 29571 (java) S 29562 29562 17093 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 64041210 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755366376992 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29572] ppid=29562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29572/stat : 29572 (java) S 29562 29562 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64041211 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755365324144 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29573] ppid=29562 vsize=13980732 memory=220196 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29573/stat : 29573 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755364272464 139755888875419 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29574] ppid=29562 vsize=13980732 memory=7668620175153523302 CPUtime=4.93 cores=1,3,5,7
/proc/29564/task/29574/stat : 29574 (java) S 29562 29562 17093 0 -1 1077944384 29397 0 0 0 490 3 0 0 20 0 15 0 64041213 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755363219824 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29575] ppid=29562 vsize=13980732 memory=6370718158649321835 CPUtime=5.09 cores=1,3,5,7
/proc/29564/task/29575/stat : 29575 (java) S 29562 29562 17093 0 -1 1077944384 25107 0 0 0 506 3 0 0 20 0 15 0 64041213 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755362167024 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29576] ppid=29562 vsize=13980732 memory=7596002921541626730 CPUtime=0.64 cores=1,3,5,7
/proc/29564/task/29576/stat : 29576 (java) S 29562 29562 17093 0 -1 1077944384 6701 0 0 0 63 1 0 0 20 0 15 0 64041213 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755361114224 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29577] ppid=29562 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/29564/task/29577/stat : 29577 (java) S 29562 29562 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041213 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755360061664 139755888867029 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
[pid=29564/tid=29578] ppid=29562 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/29564/task/29578/stat : 29578 (java) S 29562 29562 17093 0 -1 1077944384 1631 0 0 0 0 4 0 0 20 0 15 0 64041217 14316269568 54921 18446744073709551615 4194304 4196468 140726811668976 139755359009968 139755888867970 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 18464768 140726811673015 140726811673190 140726811673190 140726811676623 0
Current children cumulated CPU time: 250.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 221064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 29562 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000957 s, system=0.000957 s
[startup+240.021 s]
# the end of solver process 29564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.402 s, system=0.248049 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.022
CPU time (s): 250.65
CPU user time (s): 250.402
CPU system time (s): 0.248049
CPU usage (%): 104.428
Max. virtual memory (cumulated for all children) (KiB): 13993460
Max. memory (cumulated for all children) (KiB): 257468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.401
system time used= 0.248049
maximum resident set size= 259272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8433
involuntary context switches= 127
# summary of solver processes directly reported to runsolver:
# pid: 29562,29564
# total CPU time (s): 250.65
# total CPU user time (s): 250.402
# total CPU system time (s): 0.248049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64805 second user time and 1.87622 second system time
The end