runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15200 MiB free)
memory of node 1: 16384 MiB (12266 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398912-1568699292/watcher-4398912-1568699292 -o /tmp/evaluation-result-4398912-1568699292/solver-4398912-1568699292 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24719 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1718174808 HOME/instance-4398912-1568699292.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=26413, runsolver pid=26410
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 8.34 7.50 4.81 8/233 26429
/proc/meminfo: memFree=28108588/32770624 swapFree=66938236/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15144776 memory=30152 CPUtime=0.13 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 5976 0 0 0 12 1 0 0 20 0 15 0 446200579 15508250624 7538 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3786194 7538 3179 1 0 3748377 0
[pid=26415/tid=26416] ppid=26413 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) R 26413 26413 24688 0 -1 4202560 3863 0 0 0 8 1 0 0 20 0 15 0 446200579 15508250624 7538 33554432000 4194304 4196468 140730178510768 140522069095216 140522064880797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 7538 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 7538 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 7538 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 7538 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200581 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521600670192 140522064870018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446200582 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521532024224 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446200582 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521530971632 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) R 26413 26413 24688 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521528866800 140522064870018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) R 26413 26413 24688 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521527814256 140522042691728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0.02 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) R 26413 26413 24688 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521526761712 140522057962523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 7538 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31604 KiB
[startup+0.212244 s]*
/proc/loadavg: 8.34 7.50 4.81 7/233 26429
/proc/meminfo: memFree=28097284/32770624 swapFree=66938236/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15144776 memory=40540 CPUtime=0.34 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 9345 0 0 0 31 3 0 0 20 0 15 0 446200579 15508250624 10135 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3786194 10135 3296 1 0 3748377 0
[pid=26415/tid=26416] ppid=26413 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) R 26413 26413 24688 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 446200579 15508250624 10135 33554432000 4194304 4196468 140730178510768 140522069093856 140522064870806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15144776 memory=2964504 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 10135 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15144776 memory=140512765036047 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 10135 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 10135 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15508250624 10135 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) S 26413 26413 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446200581 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521600670192 140522064870018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446200582 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521532024224 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446200582 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521530971632 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521528866800 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521527814256 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15144776 memory=140512765011584 CPUtime=0.08 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) R 26413 26413 24688 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521526761712 140521683026041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446200585 15508250624 10135 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41992 KiB
[startup+0.318391 s]*
/proc/loadavg: 8.34 7.50 4.81 7/233 26433
/proc/meminfo: memFree=28088756/32770624 swapFree=66938236/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15149032 memory=50552 CPUtime=0.53 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 10933 0 0 0 50 3 0 0 20 0 15 0 446200579 15512608768 12638 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3787258 12638 3372 1 0 3748377 0
[pid=26415/tid=26416] ppid=26413 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) R 26413 26413 24688 0 -1 4202560 7878 0 0 0 28 3 0 0 20 0 15 0 446200579 15512608768 12638 33554432000 4194304 4196468 140730178510768 140522069093808 140522048939358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15512608768 12638 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200580 15512608768 12638 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15512608768 12638 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15512608768 12638 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) S 26413 26413 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446200581 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521600670192 140522064870018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446200582 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521532024224 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446200582 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521530971632 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 554 0 0 0 4 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521528866800 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 267 0 0 0 4 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521527814256 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 927 0 0 0 12 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521526761712 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446200585 15512608768 12638 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52004 KiB
[startup+0.700805 s]
/proc/loadavg: 8.34 7.50 4.81 9/233 26437
/proc/meminfo: memFree=28065388/32770624 swapFree=66938236/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15151156 memory=100212 CPUtime=1.8 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 15143 0 0 0 175 5 0 0 20 0 15 0 446200579 15514783744 25053 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3787789 25053 3445 1 0 3748889 0
[pid=26415/tid=26416] ppid=26413 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) R 26413 26413 24688 0 -1 4202560 9072 0 0 0 63 4 0 0 20 0 15 0 446200579 15514783744 25053 33554432000 4194304 4196468 140730178510768 140522069093552 140522043916863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15514783744 25053 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200580 15514783744 25053 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15514783744 25053 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446200580 15514783744 25053 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) S 26413 26413 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446200581 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521600670192 140522064870018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446200582 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521532024224 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446200582 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521530971632 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15151156 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) R 26413 26413 24688 0 -1 4202560 1317 0 0 0 38 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521528851856 140522048269766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15151156 memory=4639074098508484692 CPUtime=0.38 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) R 26413 26413 24688 0 -1 4202560 1391 0 0 0 38 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521527800280 140522048876512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15151156 memory=7020100622362240105 CPUtime=0.35 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 2053 0 0 0 35 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521526761712 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15151156 memory=7668599258894852945 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446200585 15514783744 25053 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101664 KiB
[startup+1.50143 s]
/proc/loadavg: 8.34 7.50 4.81 8/233 26437
/proc/meminfo: memFree=27944376/32770624 swapFree=66938236/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521532024288 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15217720 memory=984 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521530971648 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15217720 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15217720 memory=1332 CPUtime=1.63 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 8311 0 0 0 162 1 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521528866560 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15217720 memory=1564 CPUtime=1.69 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 10935 0 0 0 168 1 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521527814304 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15217720 memory=976 CPUtime=0.58 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 6697 0 0 0 58 0 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521526761760 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15217720 memory=772 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15217720 memory=4000 CPUtime=0.31 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 640 0 0 0 17 14 0 0 20 0 16 0 446200585 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=27468] ppid=26413 vsize=15217720 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/26415/task/27468/stat : 27468 (java) S 26413 26413 24688 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 446279901 15582945280 3177181 33554432000 4194304 4196468 140730178510768 140521515679424 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 2374.49 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12710176 KiB
[startup+799.201 s]
/proc/loadavg: 7.62 7.33 6.07 6/235 27468
/proc/meminfo: memFree=11824200/32770624 swapFree=66938240/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15217720 memory=12708728 CPUtime=2376.43 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 645156 0 0 0 236773 870 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3804430 3177182 3519 1 0 3765530 0
[pid=26415/tid=26416] ppid=26413 vsize=15217720 memory=33372 CPUtime=177.43 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) S 26413 26413 24688 0 -1 1077944384 34660 0 0 0 17695 48 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522069099552 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15217720 memory=984 CPUtime=525.45 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 104645 0 0 0 52349 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15217720 memory=2032 CPUtime=526.94 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 112229 0 0 0 52500 194 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15217720 memory=4000 CPUtime=525.99 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 107139 0 0 0 52384 215 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15217720 memory=2832 CPUtime=525.96 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 122539 0 0 0 52400 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15217720 memory=1548 CPUtime=90.36 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) R 26413 26413 24688 0 -1 4202560 136010 0 0 0 9027 9 0 0 20 0 16 0 446200581 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521600668624 140522049316462 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15217720 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521532024288 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15217720 memory=744 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521530971648 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15217720 memory=8296 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15217720 memory=5988 CPUtime=1.63 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 8311 0 0 0 162 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521528866560 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15217720 memory=6791534058613427641 CPUtime=1.69 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 10935 0 0 0 168 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521527814304 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15217720 memory=1564 CPUtime=0.58 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 6697 0 0 0 58 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521526761760 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15217720 memory=924 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15217720 memory=1420 CPUtime=0.31 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 640 0 0 0 17 14 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=27468] ppid=26413 vsize=15217720 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/26415/task/27468/stat : 27468 (java) S 26413 26413 24688 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 446279901 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521515679424 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 2376.43 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12710180 KiB
[startup+800.001 s]*
/proc/loadavg: 7.62 7.33 6.07 6/235 27468
/proc/meminfo: memFree=11824200/32770624 swapFree=66938240/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15217720 memory=12708728 CPUtime=2377.24 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 646260 0 0 0 236854 870 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3804430 3177182 3519 1 0 3765530 0
[pid=26415/tid=26416] ppid=26413 vsize=15217720 memory=6791534058613427641 CPUtime=177.43 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) S 26413 26413 24688 0 -1 1077944384 34660 0 0 0 17695 48 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522069099552 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15217720 memory=4126316290023845779 CPUtime=525.45 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 104645 0 0 0 52349 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15217720 memory=976 CPUtime=526.94 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 112229 0 0 0 52500 194 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15217720 memory=772 CPUtime=525.99 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 107139 0 0 0 52384 215 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15217720 memory=4000 CPUtime=525.96 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 122539 0 0 0 52400 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15217720 memory=2832 CPUtime=91.17 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) R 26413 26413 24688 0 -1 4202560 137111 0 0 0 9108 9 0 0 20 0 16 0 446200581 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521600668624 140522049855275 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15217720 memory=12708724 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521532024288 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15217720 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521530971648 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15217720 memory=12708712 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15217720 memory=1452 CPUtime=1.63 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 8311 0 0 0 162 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521528866560 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15217720 memory=12708724 CPUtime=1.69 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 10935 0 0 0 168 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521527814304 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15217720 memory=2832 CPUtime=0.58 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 6697 0 0 0 58 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521526761760 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15217720 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15217720 memory=1056 CPUtime=0.31 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 648 0 0 0 17 14 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=27468] ppid=26413 vsize=15217720 memory=744 CPUtime=0 cores=0,2,4,6
/proc/26415/task/27468/stat : 27468 (java) S 26413 26413 24688 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 446279901 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521515679424 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 2377.24 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12710180 KiB
[startup+800.401 s]
/proc/loadavg: 7.62 7.33 6.07 6/235 27468
/proc/meminfo: memFree=11824200/32770624 swapFree=66938240/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
[pid=26415] ppid=26413 vsize=15217720 memory=12708728 CPUtime=2377.63 cores=0,2,4,6
/proc/26415/stat : 26415 (java) S 26413 26413 24688 0 -1 1077944320 646692 0 0 0 236893 870 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140730178493312 140522064858871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
/proc/26415/statm: 3804430 3177182 3519 1 0 3765530 0
[pid=26415/tid=26416] ppid=26413 vsize=15217720 memory=1124 CPUtime=177.43 cores=0,2,4,6
/proc/26415/task/26416/stat : 26416 (java) S 26413 26413 24688 0 -1 1077944384 34660 0 0 0 17695 48 0 0 20 0 16 0 446200579 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522069099552 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26417] ppid=26413 vsize=15217720 memory=14008 CPUtime=525.45 cores=0,2,4,6
/proc/26415/task/26417/stat : 26417 (java) S 26413 26413 24688 0 -1 1077944384 104645 0 0 0 52349 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522017478928 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26418] ppid=26413 vsize=15217720 memory=12024 CPUtime=526.94 cores=0,2,4,6
/proc/26415/task/26418/stat : 26418 (java) S 26413 26413 24688 0 -1 1077944384 112229 0 0 0 52500 194 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522016426384 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26419] ppid=26413 vsize=15217720 memory=2124 CPUtime=525.99 cores=0,2,4,6
/proc/26415/task/26419/stat : 26419 (java) S 26413 26413 24688 0 -1 1077944384 107139 0 0 0 52384 215 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522015373840 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26420] ppid=26413 vsize=15217720 memory=12036 CPUtime=525.96 cores=0,2,4,6
/proc/26415/task/26420/stat : 26420 (java) S 26413 26413 24688 0 -1 1077944384 122539 0 0 0 52400 196 0 0 20 0 16 0 446200580 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140522014321296 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26421] ppid=26413 vsize=15217720 memory=504 CPUtime=91.56 cores=0,2,4,6
/proc/26415/task/26421/stat : 26421 (java) R 26413 26413 24688 0 -1 4202560 137538 0 0 0 9147 9 0 0 20 0 16 0 446200581 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521600668624 140522049855275 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26422] ppid=26413 vsize=15217720 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26422/stat : 26422 (java) S 26413 26413 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521532024288 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26423] ppid=26413 vsize=15217720 memory=12708728 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26423/stat : 26423 (java) S 26413 26413 24688 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 446200582 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521530971648 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26424] ppid=26413 vsize=15217720 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26424/stat : 26424 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521529920208 140522064877467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26425] ppid=26413 vsize=15217720 memory=12036 CPUtime=1.63 cores=0,2,4,6
/proc/26415/task/26425/stat : 26425 (java) S 26413 26413 24688 0 -1 1077944384 8311 0 0 0 162 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521528866560 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26426] ppid=26413 vsize=15217720 memory=504 CPUtime=1.69 cores=0,2,4,6
/proc/26415/task/26426/stat : 26426 (java) S 26413 26413 24688 0 -1 1077944384 10935 0 0 0 168 1 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521527814304 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26427] ppid=26413 vsize=15217720 memory=1564 CPUtime=0.58 cores=0,2,4,6
/proc/26415/task/26427/stat : 26427 (java) S 26413 26413 24688 0 -1 1077944384 6697 0 0 0 58 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521526761760 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26428] ppid=26413 vsize=15217720 memory=924 CPUtime=0 cores=0,2,4,6
/proc/26415/task/26428/stat : 26428 (java) S 26413 26413 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521525709408 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=26429] ppid=26413 vsize=15217720 memory=1420 CPUtime=0.31 cores=0,2,4,6
/proc/26415/task/26429/stat : 26429 (java) S 26413 26413 24688 0 -1 1077944384 648 0 0 0 17 14 0 0 20 0 16 0 446200585 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521524656944 140522064870018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
[pid=26415/tid=27468] ppid=26413 vsize=15217720 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/26415/task/27468/stat : 27468 (java) S 26413 26413 24688 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 446279901 15582945280 3177182 33554432000 4194304 4196468 140730178510768 140521515679424 140522064869077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13586432 140730178511855 140730178512026 140730178512026 140730178514895 0
Current children cumulated CPU time: 2377.63 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12710180 KiB
[startup+800.501 s]
/proc/loadavg: 7.62 7.33 6.07 6/235 27468
/proc/meminfo: memFree=11824200/32770624 swapFree=66938240/67108860
[pid=26413] ppid=26410 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26413/stat : 26413 (xcsp3-exec) S 26410 26413 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446200579 115843072 363 33554432000 4194304 5098028 140735654143216 140735654141320 140712790880892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10809344 140735654146938 140735654147181 140735654147181 140735654150090 0
/proc/26413/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 800.53
CPU time (s): 2377.77
CPU user time (s): 2369.02
CPU system time (s): 8.7542
CPU usage (%): 297.025
Max. virtual memory (cumulated for all children) (KiB): 15330848
Max. memory (cumulated for all children) (KiB): 12710180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2369.02
system time used= 8.7542
maximum resident set size= 12709012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 651628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32816
involuntary context switches= 57901
# summary of solver processes directly reported to runsolver:
# pid: 26413
# total CPU time (s): 2377.77
# total CPU user time (s): 2369.02
# total CPU system time (s): 8.7542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.22717 second user time and 7.95865 second system time
The end