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 (10881 MiB free)
memory of node 1: 16384 MiB (11309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284401-1503211515/watcher-4284401-1503211515 -o /tmp/evaluation-result-4284401-1503211515/solver-4284401-1503211515 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1332571523 HOME/instance-4284401-1503211515.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=24649, runsolver pid=24646
[startup+0.100133 s]*
/proc/loadavg: 1.32 1.58 1.64 4/219 24667
/proc/meminfo: memFree=22706164/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13978596 memory=28088 CPUtime=0.12 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 5422 0 0 0 11 1 0 0 20 0 15 0 154222915 14314082304 7022 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3494649 7022 2864 1 0 3482966 0
[pid=24651/tid=24652] ppid=24649 vsize=13978596 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 3398 0 0 0 8 0 0 0 20 0 15 0 154222916 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582655745056 140582651513858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13978596 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13978596 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13978596 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222918 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) S 24649 24649 23654 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582120802800 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13978596 memory=140464078640768 CPUtime=0.01 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) R 24649 24649 23654 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582118697712 140582630467605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13978596 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222921 14314082304 7022 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29472 KiB
[startup+0.210591 s]*
/proc/loadavg: 1.32 1.58 1.64 3/201 24667
/proc/meminfo: memFree=23114192/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13982852 memory=40380 CPUtime=0.34 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 8216 0 0 0 32 2 0 0 20 0 15 0 154222915 14318440448 10095 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3495713 10095 3042 1 0 3482966 0
[pid=24651/tid=24652] ppid=24649 vsize=13982852 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) D 24649 24649 23654 0 -1 1077944384 5312 0 0 0 18 1 0 0 20 0 15 0 154222916 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582655721312 140582644189741 0 4 0 16800975 18446744072101613092 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13982852 memory=364 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13982884 memory=288370840230352512 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318473216 10095 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318473216 10095 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13982852 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222918 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) S 24649 24649 23654 0 -1 1077944384 723 0 0 0 2 0 0 0 20 0 15 0 154222921 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582120802800 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 154222921 14318473216 10095 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13982884 memory=140464078640768 CPUtime=0.07 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 717 0 0 0 7 0 0 0 20 0 15 0 154222921 14318473216 10095 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13982852 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222921 14318440448 10095 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310137 s]*
/proc/loadavg: 1.32 1.58 1.64 5/210 24690
/proc/meminfo: memFree=23098824/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13982928 memory=47628 CPUtime=0.5 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 9060 0 0 0 47 3 0 0 20 0 15 0 154222915 14318518272 11907 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3495732 11907 3122 1 0 3482966 0
[pid=24651/tid=24652] ppid=24649 vsize=13982928 memory=4279135704047453328 CPUtime=0.3 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 6065 0 0 0 28 2 0 0 20 0 15 0 154222916 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582655742880 140582635591006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13982928 memory=3472328128895609921 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13982928 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13982928 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222918 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13982928 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13982928 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) S 24649 24649 23654 0 -1 1077944384 732 0 0 0 4 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582120802800 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13982928 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 201 0 0 0 3 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13982928 memory=280928031403728 CPUtime=0.11 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 767 0 0 0 11 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13982928 memory=140464078640767 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13982928 memory=140464078640768 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222921 14318518272 11907 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49012 KiB
[startup+0.701233 s]
/proc/loadavg: 1.32 1.58 1.64 6/216 24696
/proc/meminfo: memFree=23068564/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13984976 memory=73900 CPUtime=1.68 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 13164 0 0 0 164 4 0 0 20 0 15 0 154222915 14320615424 18475 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3496244 18475 3212 1 0 3483478 0
[pid=24651/tid=24652] ppid=24649 vsize=13984976 memory=140466905416122 CPUtime=0.68 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 6703 0 0 0 65 3 0 0 20 0 15 0 154222916 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582655748704 140582286067872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13984976 memory=33 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13984976 memory=-7082918105078917253 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13984976 memory=42696 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13984976 memory=12136 CPUtime=0.31 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) R 24649 24649 23654 0 -1 4202560 1856 0 0 0 31 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582120783704 140582633054608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13984976 memory=1708 CPUtime=0.31 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) R 24649 24649 23654 0 -1 4202560 1426 0 0 0 31 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582119736280 140582633031701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13984976 memory=1012 CPUtime=0.36 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) R 24649 24649 23654 0 -1 4202560 1871 0 0 0 36 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582118697712 140582651531866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 18475 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75284 KiB
[startup+1.50083 s]
/proc/loadavg: 1.32 1.58 1.64 5/212 24737
/proc/meminfo: memFree=23062756/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13984976 memory=105036 CPUtime=4.5 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 22036 0 0 0 444 6 0 0 20 0 15 0 154222915 14320615424 26259 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3496244 26259 3225 1 0 3483478 0
[pid=24651/tid=24652] ppid=24649 vsize=13984976 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 8052 0 0 0 154 3 0 0 20 0 15 0 154222916 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582655746536 140582286102526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13984976 memory=7306916055891837008 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13984976 memory=288288887380640601 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13984976 memory=288230376152253988 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13984976 memory=140464078662113 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13984976 memory=7305800012941377638 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13984976 memory=8026650869813564775 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13984976 memory=6082508651642835307 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13984976 memory=7649399358528828466 CPUtime=1.2 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) R 24649 24649 23654 0 -1 4202560 5188 0 0 0 120 0 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582120790912 140582635010902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13984976 memory=211810607218850 CPUtime=1.2 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) R 24649 24649 23654 0 -1 4202560 4901 0 0 0 120 0 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582119735072 140582629105264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13984976 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 2581 0 0 0 48 1 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 26259 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 106420 KiB
[startup+2.40079 s]
/proc/loadavg: 1.32 1.58 1.64 7/218 24743
/proc/meminfo: memFree=22947172/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13984976 memory=134984 CPUtime=6.82 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 22697 0 0 0 676 6 0 0 20 0 15 0 154222915 14320615424 33746 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3496244 33746 3232 1 0 3483478 0
[pid=24651/tid=24652] ppid=24649 vsize=13984976 memory=1196 CPUtime=2.37 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 8168 0 0 0 233 4 0 0 20 0 15 0 154222916 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582655746640 140582285971463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13984976 memory=10688 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13984976 memory=23536 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13984976 memory=280927905368208 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13984976 memory=4134606225630022328 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13984976 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13984976 memory=-8458152057954364812 CPUtime=1.93 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) S 24649 24649 23654 0 -1 1077944384 5449 0 0 0 193 0 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582120802800 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13984976 memory=7893295687695687954 CPUtime=1.95 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 5076 0 0 0 195 0 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13984976 memory=4196912344889787449 CPUtime=0.54 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 2671 0 0 0 53 1 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13984976 memory=-8918990855134196790 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13984976 memory=-5345911753256963030 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 33746 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 136368 KiB
[startup+2.80129 s]
/proc/loadavg: 1.32 1.58 1.64 7/218 24743
/proc/meminfo: memFree=22947172/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13984976 memory=147252 CPUtime=7.79 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 23314 0 0 0 772 7 0 0 20 0 15 0 154222915 14320615424 36813 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3496244 36813 3232 1 0 3483478 0
[pid=24651/tid=24652] ppid=24649 vsize=13984976 memory=7452728842579373158 CPUtime=2.77 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 8186 0 0 0 273 4 0 0 20 0 15 0 154222916 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582655748248 140582287238105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13984976 memory=280927905363456 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13984976 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13984976 memory=-7233780906022716832 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13984976 memory=-7173504570862900581 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13984976 memory=7679937539659563795 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13984976 memory=-7173504570860347296 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13984976 memory=-7233780906022726806 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13984976 memory=-9001734013606258791 CPUtime=2.22 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) R 24649 24649 23654 0 -1 4202560 5950 0 0 0 221 1 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582120788824 140582635900400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13984976 memory=-7233780906022726806 CPUtime=2.21 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 5111 0 0 0 221 0 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13984976 memory=-7173504570860347296 CPUtime=0.55 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 2721 0 0 0 54 1 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13984976 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 36813 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 7.79 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 148636 KiB
[startup+2.90121 s]
/proc/loadavg: 1.32 1.58 1.64 7/218 24743
/proc/meminfo: memFree=22947172/32770624 swapFree=67108860/67108860
[pid=24649] ppid=24646 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/24649/stat : 24649 (xcsp3-exec) S 24646 24649 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154222915 9740288 346 33554432000 4194304 5098028 140725955922128 140725955920232 139991126815356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9007104 140725955925108 140725955925312 140725955925312 140725955928043 0
/proc/24649/statm: 2378 346 289 221 0 87 0
[pid=24651] ppid=24649 vsize=13984976 memory=155360 CPUtime=8 cores=1,3,5,7
/proc/24651/stat : 24651 (java) S 24649 24649 23654 0 -1 1077944320 24849 0 0 0 793 7 0 0 20 0 15 0 154222915 14320615424 38840 33554432000 4194304 4196468 140730332144064 140730332126608 140582651510519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
/proc/24651/statm: 3496244 38840 3232 1 0 3483478 0
[pid=24651/tid=24652] ppid=24649 vsize=13984976 memory=200 CPUtime=2.87 cores=1,3,5,7
/proc/24651/task/24652/stat : 24652 (java) R 24649 24649 23654 0 -1 4202560 8188 0 0 0 283 4 0 0 20 0 15 0 154222916 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582655747704 140582288262265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24653] ppid=24649 vsize=13984976 memory=141728 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24653/stat : 24653 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582604131088 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24654] ppid=24649 vsize=13984976 memory=14472741190 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24654/stat : 24654 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582603078544 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24655] ppid=24649 vsize=13984976 memory=56 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24655/stat : 24655 (java) S 24649 24649 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582244772880 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24656] ppid=24649 vsize=13984976 memory=288230600345923824 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24656/stat : 24656 (java) S 24649 24649 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154222916 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582243720336 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24657] ppid=24649 vsize=13984976 memory=137088 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24657/stat : 24657 (java) S 24649 24649 23654 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582125012976 140582651521666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24658] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24658/stat : 24658 (java) S 24649 24649 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582123959200 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24659] ppid=24649 vsize=13984976 memory=140463952628032 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24659/stat : 24659 (java) S 24649 24649 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154222918 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582122906608 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24660] ppid=24649 vsize=13984976 memory=12769 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24660/stat : 24660 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582121855184 140582651529115 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24661] ppid=24649 vsize=13984976 memory=22541 CPUtime=2.32 cores=1,3,5,7
/proc/24651/task/24661/stat : 24661 (java) R 24649 24649 23654 0 -1 4202560 7419 0 0 0 231 1 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582120788824 140582633054272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24662] ppid=24649 vsize=13984976 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/24651/task/24662/stat : 24662 (java) S 24649 24649 23654 0 -1 1077944384 5114 0 0 0 223 0 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582119750256 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24663] ppid=24649 vsize=13984976 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/24651/task/24663/stat : 24663 (java) S 24649 24649 23654 0 -1 1077944384 2782 0 0 0 54 1 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582118697712 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24664] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24664/stat : 24664 (java) S 24649 24649 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582117645408 140582651520725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
[pid=24651/tid=24665] ppid=24649 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24651/task/24665/stat : 24665 (java) S 24649 24649 23654 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 154222921 14320615424 38840 33554432000 4194304 4196468 140730332144064 140582116591920 140582651521666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9773056 140730332148893 140730332149068 140730332149068 140730332151759 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 156744 KiB
Child status: 0
Real time (s): 2.97216
CPU time (s): 8.12776
CPU user time (s): 8.045
CPU system time (s): 0.082761
CPU usage (%): 273.463
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 156744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.045
system time used= 0.082761
maximum resident set size= 158632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2189
involuntary context switches= 150
# summary of solver processes directly reported to runsolver:
# pid: 24649
# total CPU time (s): 8.12776
# total CPU user time (s): 8.045
# total CPU system time (s): 0.082761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043515 second user time and 0.067803 second system time
The end