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 (15007 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270434-1502624394/watcher-4270434-1502624394 -o /tmp/evaluation-result-4270434-1502624394/solver-4270434-1502624394 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1385940272 HOME/instance-4270434-1502624394.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
solver pid=2600, runsolver pid=2597
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.97 1.99 1.96 3/202 2607
/proc/meminfo: memFree=31349564/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13441356 memory=17204 CPUtime=0.01 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 3597 0 0 0 1 0 0 0 20 0 7 0 64632776 13763948544 4301 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3360339 4301 1977 1 0 3349836 0
[pid=2602/tid=2603] ppid=2600 vsize=13441356 memory=1404226546285847689 CPUtime=0.01 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 2384 0 0 0 1 0 0 0 20 0 7 0 64632776 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140136308701968 140136288539998 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13441356 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64632777 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13441356 memory=140521877075584 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64632777 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 64632777 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64632777 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13441356 memory=140521877075584 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 64632778 13763948544 4367 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB
[startup+0.211481 s]*
/proc/loadavg: 1.97 1.99 1.96 4/211 2616
/proc/meminfo: memFree=31340236/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13974352 memory=26676 CPUtime=0.09 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 5078 0 0 0 8 1 0 0 20 0 15 0 64632776 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3493588 6669 2756 1 0 3482964 0
[pid=2602/tid=2603] ppid=2600 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 3219 0 0 0 6 1 0 0 20 0 15 0 64632776 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140136308683000 140136304471446 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13974352 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13974352 memory=140521877656800 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13974352 memory=140521877075584 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632778 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13974352 memory=140521877075584 CPUtime=0.01 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 64632781 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13974352 memory=140521877075584 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632787 14309736448 6669 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28056 KiB
[startup+0.31126 s]*
/proc/loadavg: 1.97 1.99 1.96 4/211 2616
/proc/meminfo: memFree=31328436/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13974352 memory=37356 CPUtime=0.28 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 8905 0 0 0 25 3 0 0 20 0 15 0 64632776 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3493588 9339 2983 1 0 3482964 0
[pid=2602/tid=2603] ppid=2600 vsize=13974352 memory=6933928925625698159 CPUtime=0.17 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 6071 0 0 0 15 2 0 0 20 0 15 0 64632776 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140136308681008 140136288539998 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632778 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13974352 memory=140521733641152 CPUtime=0.02 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 64632781 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 64632781 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13974352 memory=140521877075584 CPUtime=0.06 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) R 2600 2600 17093 0 -1 4202560 740 0 0 0 6 0 0 0 20 0 15 0 64632781 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136288539998 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13974352 memory=140521877075584 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632787 14309736448 9339 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38736 KiB
[startup+0.700821 s]
/proc/loadavg: 1.97 1.99 1.96 4/211 2616
/proc/meminfo: memFree=31316864/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=75712 CPUtime=1.3 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 13989 0 0 0 125 5 0 0 20 0 15 0 64632776 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3495183 18928 3164 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=164 CPUtime=0.54 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 8390 0 0 0 51 3 0 0 20 0 15 0 64632776 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140136308693504 140136304471446 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64632778 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 1266 0 0 0 22 0 0 0 20 0 15 0 64632781 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=15 CPUtime=0.21 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) R 2600 2600 17093 0 -1 1077944384 1414 0 0 0 21 0 0 0 20 0 15 0 64632781 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=66 CPUtime=0.3 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 1613 0 0 0 30 0 0 0 20 0 15 0 64632781 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632787 14316269568 18928 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77092 KiB
[startup+1.50079 s]
/proc/loadavg: 1.97 1.99 1.96 5/211 2617
/proc/meminfo: memFree=31282792/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=87668 CPUtime=3.17 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 17836 0 0 0 310 7 0 0 20 0 15 0 64632776 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3495183 21917 3178 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 8686 0 0 0 131 4 0 0 20 0 15 0 64632776 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140136308697296 140135945623070 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64632778 14316269568 21917 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=7680170660397595203 CPUtime=1.74 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 13068 0 0 0 172 2 0 0 20 0 15 0 64632781 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=13954 CPUtime=1.68 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 14702 0 0 0 166 2 0 0 20 0 15 0 64632781 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=136700 CPUtime=0.52 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 4327 0 0 0 51 1 0 0 20 0 15 0 64632781 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=4028 CPUtime=0.02 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1252 0 0 0 1 1 0 0 20 0 15 0 64632787 14316269568 34175 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 106.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138080 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.96 3/211 2782
/proc/meminfo: memFree=31205292/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=159752 CPUtime=166.15 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 49477 0 0 0 16603 12 0 0 20 0 15 0 64632776 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3495183 39938 3197 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=159752 CPUtime=162.13 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 13810 0 0 0 16209 4 0 0 20 0 15 0 64632776 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140136308699064 140135945623053 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 64632778 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=1380 CPUtime=1.74 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 13071 0 0 0 172 2 0 0 20 0 15 0 64632781 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=4028 CPUtime=1.68 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 14705 0 0 0 166 2 0 0 20 0 15 0 64632781 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 4852 0 0 0 51 1 0 0 20 0 15 0 64632781 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=20580 CPUtime=0.03 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1291 0 0 0 1 2 0 0 20 0 15 0 64632787 14316269568 39938 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 166.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 161132 KiB
[startup+222.301 s]
/proc/loadavg: 1.96 1.97 1.95 3/211 2784
/proc/meminfo: memFree=31180260/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=184404 CPUtime=226.2 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 50438 0 0 0 22607 13 0 0 20 0 15 0 64632776 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3495183 46101 3197 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=180308 CPUtime=222.13 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 14260 0 0 0 22208 5 0 0 20 0 15 0 64632776 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140136308695808 140135945623043 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=182356 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=184404 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=184404 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 64632778 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=184404 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=796 CPUtime=1.76 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 13197 0 0 0 174 2 0 0 20 0 15 0 64632781 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=1380 CPUtime=1.69 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 14753 0 0 0 167 2 0 0 20 0 15 0 64632781 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=182356 CPUtime=0.53 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 5136 0 0 0 52 1 0 0 20 0 15 0 64632781 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1299 0 0 0 2 2 0 0 20 0 15 0 64632787 14316269568 46101 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 226.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.90 1.96 1.95 3/211 2784
/proc/meminfo: memFree=31174328/32770624 swapFree=67108860/67108860
[pid=2600] ppid=2597 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (xcsp3-exec) S 2597 2600 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64632768 9740288 345 18446744073709551615 4194304 5098028 140726042042656 140726042040760 139932173177468 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 27369472 140726042046846 140726042047050 140726042047050 140726042050539 0
/proc/2600/statm: 2378 345 289 221 0 87 0
[pid=2602] ppid=2600 vsize=13980732 memory=190548 CPUtime=243.9 cores=1,3,5,7
/proc/2602/stat : 2602 (java) S 2600 2600 17093 0 -1 1077944320 50477 0 0 0 24377 13 0 0 20 0 15 0 64632776 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140725696953664 140136304459511 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
/proc/2602/statm: 3495183 47637 3197 1 0 3483476 0
[pid=2602/tid=2603] ppid=2600 vsize=13980732 memory=1444 CPUtime=239.84 cores=1,3,5,7
/proc/2602/task/2603/stat : 2603 (java) R 2600 2600 17093 0 -1 4202560 14280 0 0 0 23979 5 0 0 20 0 15 0 64632776 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140136308696120 140135945623745 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2604] ppid=2600 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2604/stat : 2604 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140136261426064 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2605] ppid=2600 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2605/stat : 2605 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135903718160 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2606] ppid=2600 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2606/stat : 2606 (java) S 2600 2600 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135902665872 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2607] ppid=2600 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2607/stat : 2607 (java) S 2600 2600 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64632777 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135901613072 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2608] ppid=2600 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2608/stat : 2608 (java) S 2600 2600 17093 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 64632778 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135221131376 140136304470658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2609] ppid=2600 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2609/stat : 2609 (java) S 2600 2600 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135220077344 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2610] ppid=2600 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2610/stat : 2610 (java) S 2600 2600 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64632779 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135219025008 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2611] ppid=2600 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2611/stat : 2611 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135217973328 140136304478107 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2612] ppid=2600 vsize=13980732 memory=10960 CPUtime=1.76 cores=1,3,5,7
/proc/2602/task/2612/stat : 2612 (java) S 2600 2600 17093 0 -1 1077944384 13215 0 0 0 174 2 0 0 20 0 15 0 64632781 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135216921200 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2613] ppid=2600 vsize=13980732 memory=15876 CPUtime=1.69 cores=1,3,5,7
/proc/2602/task/2613/stat : 2613 (java) S 2600 2600 17093 0 -1 1077944384 14753 0 0 0 167 2 0 0 20 0 15 0 64632781 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135215868400 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2614] ppid=2600 vsize=13980732 memory=4048 CPUtime=0.53 cores=1,3,5,7
/proc/2602/task/2614/stat : 2614 (java) S 2600 2600 17093 0 -1 1077944384 5136 0 0 0 52 1 0 0 20 0 15 0 64632781 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135214816112 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2615] ppid=2600 vsize=13980732 memory=3072 CPUtime=0 cores=1,3,5,7
/proc/2602/task/2615/stat : 2615 (java) S 2600 2600 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64632781 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135213763552 140136304469717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
[pid=2602/tid=2616] ppid=2600 vsize=13980732 memory=1380 CPUtime=0.05 cores=1,3,5,7
/proc/2602/task/2616/stat : 2616 (java) S 2600 2600 17093 0 -1 1077944384 1300 0 0 0 2 3 0 0 20 0 15 0 64632787 14316269568 47637 18446744073709551615 4194304 4196468 140725696971120 140135212710320 140136304470658 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31690752 140725696975287 140725696975462 140725696975462 140725696978895 0
Current children cumulated CPU time: 243.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 191928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 2600 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001946 s
[startup+240.021 s]
# the end of solver process 2602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.793 s, system=0.141988 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 243.935
CPU user time (s): 243.793
CPU system time (s): 0.141988
CPU usage (%): 101.63
Max. virtual memory (cumulated for all children) (KiB): 13991952
Max. memory (cumulated for all children) (KiB): 191928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.793
system time used= 0.141988
maximum resident set size= 197308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7861
involuntary context switches= 252
# summary of solver processes directly reported to runsolver:
# pid: 2600,2602
# total CPU time (s): 243.935
# total CPU user time (s): 243.793
# total CPU system time (s): 0.141988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25191 second user time and 2.2147 second system time
The end