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 (13882 MiB free)
memory of node 1: 16384 MiB (4751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399418-1568700113/watcher-4399418-1568700113 -o /tmp/evaluation-result-4399418-1568700113/solver-4399418-1568700113 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 742210000 HOME/instance-4399418-1568700113.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28640, runsolver pid=28637
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 7.65 7.03 7.13 7/232 28656
/proc/meminfo: memFree=19063516/32770624 swapFree=66977096/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15144776 memory=30288 CPUtime=0.13 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 5492 0 0 0 12 1 0 0 20 0 15 0 446273927 15508250624 7572 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3786194 7572 3140 1 0 3748377 0
[pid=28642/tid=28643] ppid=28640 vsize=15144776 memory=8514701219881124772 CPUtime=0.08 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) R 28640 28640 21506 0 -1 4202560 3390 0 0 0 8 0 0 0 20 0 15 0 446273927 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269583882784 140269563700581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15144776 memory=3472468662288422096 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269047186208 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269046133872 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) R 28640 28640 21506 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) R 28640 28640 21506 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269042976336 140269557518528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0.02 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) R 28640 28640 21506 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269041924976 140269558302019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 7572 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31740 KiB
[startup+0.213514 s]*
/proc/loadavg: 7.65 7.03 7.13 6/232 28656
/proc/meminfo: memFree=19050412/32770624 swapFree=66977096/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15144776 memory=41128 CPUtime=0.35 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 9009 0 0 0 32 3 0 0 20 0 15 0 446273927 15508250624 10282 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3786194 10282 3298 1 0 3748377 0
[pid=28642/tid=28643] ppid=28640 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) R 28640 28640 21506 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 15 0 446273927 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269583895264 140269563700581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15144776 memory=3472468662288422096 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446273928 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269047186208 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446273930 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269046133872 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) S 28640 28640 21506 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) S 28640 28640 21506 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269042977264 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0.08 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 722 0 0 0 8 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15144776 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273933 15508250624 10282 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42580 KiB
[startup+0.311993 s]*
/proc/loadavg: 7.65 7.03 7.13 7/232 28656
/proc/meminfo: memFree=19043404/32770624 swapFree=66977096/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15149032 memory=50384 CPUtime=0.53 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 10360 0 0 0 49 4 0 0 20 0 15 0 446273927 15512608768 12596 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3787258 12596 3356 1 0 3748377 0
[pid=28642/tid=28643] ppid=28640 vsize=15149032 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) R 28640 28640 21506 0 -1 4202560 7345 0 0 0 27 3 0 0 20 0 15 0 446273927 15512608768 12596 33554432000 4194304 4196468 140733754196240 140269583890736 140269579678877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15149032 memory=3472468662288422096 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15512608768 12596 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15149032 memory=140533393291932 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15512608768 12596 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15149032 memory=140533276215085 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273928 15512608768 12596 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15149032 memory=140533276195791 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446273928 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15149032 memory=140533393291938 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446273930 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15149032 memory=140533276205007 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446273930 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269047186208 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15149032 memory=281066552407696 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446273930 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269046133872 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15149032 memory=281066552414576 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) S 28640 28640 21506 0 -1 1077944384 553 0 0 0 4 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15149032 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) R 28640 28640 21506 0 -1 4202560 352 0 0 0 4 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269042958280 140269556918208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15149032 memory=140533393270400 CPUtime=0.12 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15149032 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15149032 memory=140533393270400 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446273933 15512608768 12602 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51836 KiB
[startup+0.701573 s]
/proc/loadavg: 7.65 7.03 7.13 9/232 28656
/proc/meminfo: memFree=19026872/32770624 swapFree=66977096/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15417412 memory=91060 CPUtime=1.56 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 14558 0 0 0 149 7 0 0 20 0 19 0 446273927 15787429888 22765 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3854353 22765 3453 1 0 3815453 0
[pid=28642/tid=28643] ppid=28640 vsize=15417412 memory=2828 CPUtime=0.63 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) S 28640 28640 21506 0 -1 1077944384 8831 0 0 0 59 4 0 0 20 0 19 0 446273927 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269583897728 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15417412 memory=756 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446273928 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446273928 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446273928 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15417412 memory=281066552489280 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446273928 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15417412 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446273930 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15417412 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446273930 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269047186208 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15417412 memory=2320955825079175849 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446273930 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269046133872 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15417412 memory=1425 CPUtime=0.2 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) R 28640 28640 21506 0 -1 4202560 1258 0 0 0 20 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269044016608 140269558909590 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15417412 memory=11 CPUtime=0.22 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) R 28640 28640 21506 0 -1 4202560 1054 0 0 0 22 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269042970288 140269564044192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15417412 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 1935 0 0 0 39 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15417412 memory=30753 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15417412 memory=1477 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446273933 15787429888 22765 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92512 KiB
[startup+1.50758 s]
/proc/loadavg: 7.65 7.03 7.13 12/236 28676
/proc/meminfo: memFree=18956984/32770624 swapFree=66977096/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 102312 0 0 0 231100 68 0 0 20 0 19 0 446273927 15858741248 71841 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3871763 71841 3547 1 0 3832863 0
[pid=28642/tid=28643] ppid=28640 vsize=15487052 memory=287364 CPUtime=0.64 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) S 28640 28640 21506 0 -1 1077944384 9602 0 0 0 60 4 0 0 20 0 19 0 446273927 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269583897728 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15487052 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 7116 0 0 0 126 6 0 0 20 0 19 0 446273928 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15487052 memory=1452 CPUtime=1.32 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 3790 0 0 0 127 5 0 0 20 0 19 0 446273928 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15487052 memory=3620 CPUtime=1.32 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 5804 0 0 0 126 6 0 0 20 0 19 0 446273928 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15487052 memory=1452 CPUtime=1.33 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 5220 0 0 0 128 5 0 0 20 0 19 0 446273928 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15487052 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 11906 0 0 0 59 28 0 0 20 0 19 0 446273930 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15487052 memory=1028 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269047186272 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15487052 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269046133888 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15487052 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15487052 memory=7872 CPUtime=2.76 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) S 28640 28640 21506 0 -1 1077944384 15693 0 0 0 275 1 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15487052 memory=293020 CPUtime=2.53 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) S 28640 28640 21506 0 -1 1077944384 11521 0 0 0 251 2 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269042977264 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15487052 memory=984 CPUtime=0.76 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 8036 0 0 0 75 1 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15487052 memory=287364 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15487052 memory=1452 CPUtime=0.2 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 919 0 0 0 10 10 0 0 20 0 19 0 446273933 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28913] ppid=28640 vsize=15487052 memory=30732 CPUtime=450.23 cores=0,2,4,6
/proc/28642/task/28913/stat : 28913 (java) R 28640 28640 21506 0 -1 4202560 1518 0 0 0 45022 1 0 0 20 0 19 0 446286649 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269030602608 140269222090723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28914] ppid=28640 vsize=15487052 memory=2004 CPUtime=450.29 cores=0,2,4,6
/proc/28642/task/28914/stat : 28914 (java) R 28640 28640 21506 0 -1 4202560 1583 0 0 0 45029 0 0 0 20 0 19 0 446286649 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269027442928 140269225009586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28915] ppid=28640 vsize=15487052 memory=287364 CPUtime=449.98 cores=0,2,4,6
/proc/28642/task/28915/stat : 28915 (java) R 28640 28640 21506 0 -1 4202560 2127 0 0 0 44998 0 0 0 20 0 19 0 446286649 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269029547544 140269217610518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28916] ppid=28640 vsize=15487052 memory=1452 CPUtime=450.24 cores=0,2,4,6
/proc/28642/task/28916/stat : 28916 (java) R 28640 28640 21506 0 -1 4202560 1645 0 0 0 45023 1 0 0 20 0 19 0 446286649 15858741248 71841 33554432000 4194304 4196468 140733754196240 140269026389608 140269223552220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 2311.68 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 288816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.902 s]
/proc/loadavg: 6.73 7.88 7.66 5/211 29009
/proc/meminfo: memFree=31456104/32770624 swapFree=66977100/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15487052 memory=276576 CPUtime=2520.27 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 103531 0 0 0 251953 74 0 0 20 0 19 0 446273927 15858741248 69144 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3871763 69144 3547 1 0 3832863 0
[pid=28642/tid=28643] ppid=28640 vsize=15487052 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) S 28640 28640 21506 0 -1 1077944384 9602 0 0 0 60 4 0 0 20 0 19 0 446273927 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269583897728 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 7523 0 0 0 151 6 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 3874 0 0 0 152 5 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 5919 0 0 0 151 6 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.58 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 5308 0 0 0 153 5 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15487052 memory=1452 CPUtime=1.03 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 12153 0 0 0 69 34 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269047186272 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15487052 memory=281066553155568 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269046133888 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15487052 memory=276576 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15487052 memory=2120 CPUtime=2.76 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) S 28640 28640 21506 0 -1 1077944384 15693 0 0 0 275 1 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15487052 memory=6791534058613427641 CPUtime=2.53 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) S 28640 28640 21506 0 -1 1077944384 11521 0 0 0 251 2 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269042977264 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15487052 memory=9448 CPUtime=0.77 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 8037 0 0 0 76 1 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15487052 memory=3620 CPUtime=0.2 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 932 0 0 0 10 10 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28913] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.06 cores=0,2,4,6
/proc/28642/task/28913/stat : 28913 (java) R 28640 28640 21506 0 -1 4202560 1568 0 0 0 50205 1 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269030599568 140269222090150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28914] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.09 cores=0,2,4,6
/proc/28642/task/28914/stat : 28914 (java) R 28640 28640 21506 0 -1 4202560 1669 0 0 0 50208 1 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269027443272 140269223085054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28915] ppid=28640 vsize=15487052 memory=1452 CPUtime=501.84 cores=0,2,4,6
/proc/28642/task/28915/stat : 28915 (java) R 28640 28640 21506 0 -1 4202560 2182 0 0 0 50184 0 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269029549048 140269223552048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28916] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.16 cores=0,2,4,6
/proc/28642/task/28916/stat : 28916 (java) R 28640 28640 21506 0 -1 4202560 1718 0 0 0 50214 2 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269026392528 140269222186689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 278028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.935 s]
# the end of solver process 28640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00111 s, system=0.00111 s
[startup+634.976 s]
# the end of solver process 28642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.82 s, system=0.75377 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+634.902 s]
/proc/loadavg: 6.73 7.88 7.66 5/211 29009
/proc/meminfo: memFree=31456104/32770624 swapFree=66977100/67108860
[pid=28640] ppid=28637 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28640/stat : 28640 (xcsp3-exec) S 28637 28640 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446273927 115843072 363 33554432000 4194304 5098028 140724436260208 140724436258312 139867089728124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8249344 140724436267899 140724436268141 140724436268141 140724436271050 0
/proc/28640/statm: 28282 363 304 221 0 87 0
[pid=28642] ppid=28640 vsize=15487052 memory=276576 CPUtime=2520.27 cores=0,2,4,6
/proc/28642/stat : 28642 (java) S 28640 28640 21506 0 -1 1077944320 103531 0 0 0 251953 74 0 0 20 0 19 0 446273927 15858741248 69144 33554432000 4194304 4196468 140733754196240 140733754178784 140269579656951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
/proc/28642/statm: 3871763 69144 3547 1 0 3832863 0
[pid=28642/tid=28643] ppid=28640 vsize=15487052 memory=1452 CPUtime=0.64 cores=0,2,4,6
/proc/28642/task/28643/stat : 28643 (java) S 28640 28640 21506 0 -1 1077944384 9602 0 0 0 60 4 0 0 20 0 19 0 446273927 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269583897728 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28644] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28644/stat : 28644 (java) S 28640 28640 21506 0 -1 1077944384 7523 0 0 0 151 6 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269172370320 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28645] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28645/stat : 28645 (java) S 28640 28640 21506 0 -1 1077944384 3874 0 0 0 152 5 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269171317520 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28646] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.57 cores=0,2,4,6
/proc/28642/task/28646/stat : 28646 (java) S 28640 28640 21506 0 -1 1077944384 5919 0 0 0 151 6 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269170265232 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28647] ppid=28640 vsize=15487052 memory=276576 CPUtime=1.58 cores=0,2,4,6
/proc/28642/task/28647/stat : 28647 (java) S 28640 28640 21506 0 -1 1077944384 5308 0 0 0 153 5 0 0 20 0 19 0 446273928 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269169212432 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28648] ppid=28640 vsize=15487052 memory=1452 CPUtime=1.03 cores=0,2,4,6
/proc/28642/task/28648/stat : 28648 (java) S 28640 28640 21506 0 -1 1077944384 12153 0 0 0 69 34 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269048240240 140269579668098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28649] ppid=28640 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28649/stat : 28649 (java) S 28640 28640 21506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269047186272 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28650] ppid=28640 vsize=15487052 memory=281066553155568 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28650/stat : 28650 (java) S 28640 28640 21506 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446273930 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269046133888 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28651] ppid=28640 vsize=15487052 memory=276576 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28651/stat : 28651 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269045082192 140269579675547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28652] ppid=28640 vsize=15487052 memory=2120 CPUtime=2.76 cores=0,2,4,6
/proc/28642/task/28652/stat : 28652 (java) S 28640 28640 21506 0 -1 1077944384 15693 0 0 0 275 1 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269044030064 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28653] ppid=28640 vsize=15487052 memory=6791534058613427641 CPUtime=2.53 cores=0,2,4,6
/proc/28642/task/28653/stat : 28653 (java) S 28640 28640 21506 0 -1 1077944384 11521 0 0 0 251 2 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269042977264 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28654] ppid=28640 vsize=15487052 memory=9448 CPUtime=0.77 cores=0,2,4,6
/proc/28642/task/28654/stat : 28654 (java) S 28640 28640 21506 0 -1 1077944384 8037 0 0 0 76 1 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269041924976 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28655] ppid=28640 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28642/task/28655/stat : 28655 (java) S 28640 28640 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269040872416 140269579667157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28656] ppid=28640 vsize=15487052 memory=3620 CPUtime=0.2 cores=0,2,4,6
/proc/28642/task/28656/stat : 28656 (java) S 28640 28640 21506 0 -1 1077944384 932 0 0 0 10 10 0 0 20 0 19 0 446273933 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269039819184 140269579668098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28913] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.06 cores=0,2,4,6
/proc/28642/task/28913/stat : 28913 (java) R 28640 28640 21506 0 -1 4202560 1568 0 0 0 50205 1 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269030599568 140269222090150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28914] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.09 cores=0,2,4,6
/proc/28642/task/28914/stat : 28914 (java) R 28640 28640 21506 0 -1 4202560 1669 0 0 0 50208 1 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269027443272 140269223085054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28915] ppid=28640 vsize=15487052 memory=1452 CPUtime=501.84 cores=0,2,4,6
/proc/28642/task/28915/stat : 28915 (java) R 28640 28640 21506 0 -1 4202560 2182 0 0 0 50184 0 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269029549048 140269223552048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
[pid=28642/tid=28916] ppid=28640 vsize=15487052 memory=1452 CPUtime=502.16 cores=0,2,4,6
/proc/28642/task/28916/stat : 28916 (java) R 28640 28640 21506 0 -1 4202560 1718 0 0 0 50214 2 0 0 20 0 19 0 446286649 15858741248 69144 33554432000 4194304 4196468 140733754196240 140269026392528 140269222186689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140733754201071 140733754201242 140733754201242 140733754204111 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 278028 KiB
Child status: 143
Real time (s): 634.976
CPU time (s): 2520.57
CPU user time (s): 2519.82
CPU system time (s): 0.75377
CPU usage (%): 396.956
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 471428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.75377
maximum resident set size= 497984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36440
involuntary context switches= 38056
# summary of solver processes directly reported to runsolver:
# pid: 28640,28642
# total CPU time (s): 2520.57
# total CPU user time (s): 2519.82
# total CPU system time (s): 0.75377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98016 second user time and 6.88952 second system time
The end