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 (15229 MiB free)
memory of node 1: 16384 MiB (15647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270181-1502621100/watcher-4270181-1502621100 -o /tmp/evaluation-result-4270181-1502621100/solver-4270181-1502621100 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 813556440 HOME/instance-4270181-1502621100.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=21792, runsolver pid=21789
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.07 1.85 1.73 3/201 21794
/proc/meminfo: memFree=31617632/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=11657624 memory=9020 CPUtime=0 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 1999 0 0 0 0 0 0 0 20 0 2 0 50450642 11937406976 2255 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 2914406 2255 1150 1 0 2904376 0
[pid=21794/tid=21795] ppid=21792 vsize=11659680 memory=-6871798056524144002 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 953 0 0 0 0 0 0 0 20 0 4 0 50450642 11939512320 2387 18446744073709551615 4194304 4196468 140735164748480 139692294850256 139692283348737 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=11659680 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 50450643 11939512320 2387 18446744073709551615 4194304 4196468 140735164748480 139692210023648 139692290619093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=11659680 memory=139830456075904 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 50450643 11939512320 2387 18446744073709551615 4194304 4196468 140735164748480 139692208970848 139692290619093 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 10400 KiB
[startup+0.209968 s]*
/proc/loadavg: 2.07 1.85 1.73 3/215 21808
/proc/meminfo: memFree=31604988/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13974352 memory=23488 CPUtime=0.06 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 4815 0 0 0 5 1 0 0 20 0 15 0 50450642 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3493588 5872 2685 1 0 3482964 0
[pid=21794/tid=21795] ppid=21792 vsize=13974352 memory=8390339637985935414 CPUtime=0.05 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 2970 0 0 0 5 0 0 0 20 0 15 0 50450642 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139692294832888 139692290630813 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13974352 memory=288230596118054247 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13974352 memory=3473320248225941152 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13974352 memory=139830456075904 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450644 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 50450647 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 11586 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 50450647 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13974352 memory=139830456075904 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 50450647 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13974352 memory=139830456075904 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450653 14309736448 5872 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24868 KiB
[startup+0.31003 s]*
/proc/loadavg: 2.07 1.85 1.73 4/215 21808
/proc/meminfo: memFree=31589440/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13974352 memory=37564 CPUtime=0.25 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 8435 0 0 0 22 3 0 0 20 0 15 0 50450642 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3493588 9391 2979 1 0 3482964 0
[pid=21794/tid=21795] ppid=21792 vsize=13974352 memory=8390339637985935414 CPUtime=0.15 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 5671 0 0 0 13 2 0 0 20 0 15 0 50450642 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139692294840416 139692274689374 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13974352 memory=301741395000165735 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13974352 memory=3473320248225941152 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13974352 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13974352 memory=3761825334922390504 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450644 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13974352 memory=3472285459251613807 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13974352 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13974352 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 50450647 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13974352 memory=3472328296227679279 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 11586 0 -1 1077944384 608 0 0 0 1 0 0 0 20 0 15 0 50450647 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13974352 memory=139830456075904 CPUtime=0.05 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 50450647 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13974352 memory=8607328266676888414 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13974352 memory=139830456075904 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450653 14309736448 9391 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38944 KiB
[startup+0.700779 s]
/proc/loadavg: 2.07 1.85 1.73 5/215 21808
/proc/meminfo: memFree=31578872/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13980732 memory=60756 CPUtime=1.17 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 12251 0 0 0 112 5 0 0 20 0 15 0 50450642 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3495183 15189 3178 1 0 3483476 0
[pid=21794/tid=21795] ppid=21792 vsize=13980732 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 8029 0 0 0 50 3 0 0 20 0 15 0 50450642 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139692294844928 139691882060589 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13980732 memory=50564 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50450644 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13980732 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) R 21792 21792 11586 0 -1 4202560 586 0 0 0 17 0 0 0 20 0 15 0 50450647 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691763910352 139692272131125 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) R 21792 21792 11586 0 -1 4202560 1181 0 0 0 19 0 0 0 20 0 15 0 50450647 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692272153487 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13980732 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 1148 0 0 0 26 0 0 0 20 0 15 0 50450647 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450653 14316269568 15189 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62136 KiB
[startup+1.50083 s]
/proc/loadavg: 2.07 1.85 1.73 5/215 21808
/proc/meminfo: memFree=31559400/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13980732 memory=72720 CPUtime=3.57 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 20120 0 0 0 351 6 0 0 20 0 15 0 50450642 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3495183 18180 3199 1 0 3483476 0
[pid=21794/tid=21795] ppid=21792 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 8764 0 0 0 129 4 0 0 20 0 15 0 50450642 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139692294845576 139691885108707 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13980732 memory=16484084485400 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50450644 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13980732 memory=0 CPUtime=0.92 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 4126 0 0 0 92 0 0 0 20 0 15 0 50450647 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13980732 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) R 21792 21792 11586 0 -1 4202560 4138 0 0 0 94 0 0 0 20 0 15 0 50450647 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692275508236 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13980732 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 1775 0 0 0 34 0 0 0 20 0 15 0 50450647 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13980732 memory=47 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13980732 memory=49 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 50450653 14316269568 18180 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 3.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 74100 KiB
[startup+2.68754 s]
# the end of solver process 21792 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.04853 s, system=0.069005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6009 s]
/proc/loadavg: 2.07 1.85 1.73 5/215 21808
/proc/meminfo: memFree=31559400/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13980732 memory=74952 CPUtime=3.73 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 20211 0 0 0 367 6 0 0 20 0 15 0 50450642 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3495183 18738 3199 1 0 3483476 0
[pid=21794/tid=21795] ppid=21792 vsize=13980732 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 8777 0 0 0 139 4 0 0 20 0 15 0 50450642 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139692294844656 139691886146952 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13980732 memory=7162806343803757421 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 50450644 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13980732 memory=5788067138599740504 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13980732 memory=7378983553979662441 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13980732 memory=14360187095 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13980732 memory=279660621777968 CPUtime=0.93 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 4128 0 0 0 93 0 0 0 20 0 15 0 50450647 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13980732 memory=279660621639608 CPUtime=0.98 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 11586 0 -1 1077944384 4144 0 0 0 98 0 0 0 20 0 15 0 50450647 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13980732 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 1822 0 0 0 35 0 0 0 20 0 15 0 50450647 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13980732 memory=7682475212694179130 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13980732 memory=4783210246291077728 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 50450653 14316269568 18738 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 3.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76332 KiB
[startup+2.40069 s]
/proc/loadavg: 2.07 1.85 1.73 3/215 21808
/proc/meminfo: memFree=31555712/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13980732 memory=77280 CPUtime=4.69 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 20540 0 0 0 463 6 0 0 20 0 15 0 50450642 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3495183 19320 3201 1 0 3483476 0
[pid=21794/tid=21795] ppid=21792 vsize=13980732 memory=-8774313645642428999 CPUtime=2.23 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 8887 0 0 0 219 4 0 0 20 0 15 0 50450642 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692294845688 139691885484995 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13980732 memory=274 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13980732 memory=2315025360590479442 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13980732 memory=279660621605136 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13980732 memory=279660621605200 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13980732 memory=8514726395714824858 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 50450644 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13980732 memory=-9033795734659767669 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13980732 memory=4628975313049980278 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13980732 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13980732 memory=4628973187041168758 CPUtime=0.99 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 4160 0 0 0 99 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13980732 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) R 21792 21792 11586 0 -1 4202560 4220 0 0 0 106 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692274899080 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 1928 0 0 0 37 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 50450653 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 4.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78660 KiB
[startup+2.60071 s]
/proc/loadavg: 2.07 1.85 1.73 3/215 21808
/proc/meminfo: memFree=31555712/32770624 swapFree=67108860/67108860
[pid=21792] ppid=21789 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21792/stat : 21792 (xcsp3-exec) S 21789 21792 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 50450632 9740288 345 18446744073709551615 4194304 5098028 140726674622496 140726674620600 140519106200188 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 39186432 140726674624895 140726674625098 140726674625098 140726674628587 0
/proc/21792/statm: 2378 345 289 221 0 87 0
[pid=21794] ppid=21792 vsize=13980732 memory=77280 CPUtime=4.96 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21792 21792 11586 0 -1 1077944320 20616 0 0 0 490 6 0 0 20 0 15 0 50450642 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 140735164731024 139692290608887 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
/proc/21794/statm: 3495183 19320 3201 1 0 3483476 0
[pid=21794/tid=21795] ppid=21792 vsize=13980732 memory=-6876588628788076929 CPUtime=2.43 cores=1,3,5,7
/proc/21794/task/21795/stat : 21795 (java) R 21792 21792 11586 0 -1 4202560 8889 0 0 0 239 4 0 0 20 0 15 0 50450642 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692294844800 139691885107968 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21796] ppid=21792 vsize=13980732 memory=7679937539659563834 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692210023312 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21797] ppid=21792 vsize=13980732 memory=7100839878710424688 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692208970512 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21798] ppid=21792 vsize=13980732 memory=-6020703149109527184 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21792 21792 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692207918224 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21799] ppid=21792 vsize=13980732 memory=7533807675690544519 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21792 21792 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50450643 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139692206865424 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21800] ppid=21792 vsize=13980732 memory=-8889385302271246277 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21792 21792 11586 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50450644 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691768133744 139692290620034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21801] ppid=21792 vsize=13980732 memory=6452091047509057851 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21792 21792 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691767079712 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21802] ppid=21792 vsize=13980732 memory=5865768551643638121 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21792 21792 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50450645 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691766027376 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21803] ppid=21792 vsize=13980732 memory=7451319290133441088 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691764975696 139692290627483 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21804] ppid=21792 vsize=13980732 memory=7593466331088186704 CPUtime=1 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21792 21792 11586 0 -1 1077944384 4161 0 0 0 100 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691763923568 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21805] ppid=21792 vsize=13980732 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21792 21792 11586 0 -1 1077944384 4273 0 0 0 112 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691762870768 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21806] ppid=21792 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21792 21792 11586 0 -1 1077944384 1935 0 0 0 37 0 0 0 20 0 15 0 50450647 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691761818480 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21807] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21792 21792 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50450648 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691760765920 139692290619093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
[pid=21794/tid=21808] ppid=21792 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21792 21792 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 50450653 14316269568 19320 18446744073709551615 4194304 4196468 140735164748480 139691759712688 139692290620034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29691904 140735164756407 140735164756582 140735164756582 140735164760015 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78660 KiB
Child status: 0
Real time (s): 2.68759
CPU time (s): 5.11754
CPU user time (s): 5.04853
CPU system time (s): 0.069005
CPU usage (%): 190.414
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 78660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.04853
system time used= 0.069005
maximum resident set size= 79852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2008
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 21792
# total CPU time (s): 5.11754
# total CPU user time (s): 5.04853
# total CPU system time (s): 0.069005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048868 second user time and 0.056534 second system time
The end