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 (13702 MiB free)
memory of node 1: 16384 MiB (15749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281759-1503150224/watcher-4281759-1503150224 -o /tmp/evaluation-result-4281759-1503150224/solver-4281759-1503150224 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15587 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 601104999 HOME/instance-4281759-1503150224.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26579, runsolver pid=26576
[startup+0.100064 s]*
/proc/loadavg: 1.21 1.41 1.52 4/212 26592
/proc/meminfo: memFree=30145580/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13907304 memory=23720 CPUtime=0.05 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 4798 0 0 0 5 0 0 0 20 0 14 0 13430478 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3476826 5930 2578 1 0 3466323 0
[pid=26581/tid=26582] ppid=26579 vsize=13907304 memory=-6871798056524144002 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) D 26579 26579 15523 0 -1 4202560 2979 0 0 0 4 0 0 0 20 0 14 0 13430479 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012573919136 140012569703677 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 13430479 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13907304 memory=140380489287296 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 13430479 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 13430479 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 13430479 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 13430481 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 13430481 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012114364064 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 13430481 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012113310960 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 13430484 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 13430484 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 13430484 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26579 26579 15523 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 13430484 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 13430484 14241079296 5930 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 25100 KiB
[startup+0.210633 s]*
/proc/loadavg: 1.21 1.41 1.52 4/215 26595
/proc/meminfo: memFree=30139328/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13974352 memory=32080 CPUtime=0.17 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 5912 0 0 0 16 1 0 0 20 0 15 0 13430478 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3493588 8020 2928 1 0 3482964 0
[pid=26581/tid=26582] ppid=26579 vsize=13974352 memory=8390339637985935414 CPUtime=0.1 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 3456 0 0 0 10 0 0 0 20 0 15 0 13430479 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012573906264 140012553762142 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13974352 memory=288230613264376582 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13974352 memory=4121836958462150304 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430479 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13974352 memory=140380489287296 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430481 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13430481 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012114364064 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13430481 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012113310960 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) R 26579 26579 15523 0 -1 4202560 443 0 0 0 1 0 0 0 20 0 15 0 13430484 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012111192440 140012553577667 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 15 0 13430484 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13974352 memory=140380489287296 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26579 26579 15523 0 -1 4202560 589 0 0 0 3 0 0 0 20 0 15 0 13430484 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140011479751288 140012548504612 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14309736448 8020 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13974352 memory=140380489287296 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430489 14309736448 8086 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33460 KiB
[startup+0.310736 s]*
/proc/loadavg: 1.21 1.41 1.52 4/215 26595
/proc/meminfo: memFree=30126204/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13978608 memory=42516 CPUtime=0.36 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 9839 0 0 0 33 3 0 0 20 0 15 0 13430478 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3494652 10629 3026 1 0 3482964 0
[pid=26581/tid=26582] ppid=26579 vsize=13978608 memory=8390339637985935414 CPUtime=0.21 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 6896 0 0 0 19 2 0 0 20 0 15 0 13430479 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012573891568 140012569703581 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13978608 memory=301741412146488070 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13978608 memory=4121836958462150304 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13978608 memory=3472328279047811119 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430479 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13978608 memory=4211961956030410743 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430481 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13430481 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012114364064 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13430481 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012113310960 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 614 0 0 0 2 0 0 0 20 0 15 0 13430484 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 13430484 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13978608 memory=140380489287296 CPUtime=0.08 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26579 26579 15523 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 15 0 13430484 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012561918782 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13978608 memory=140380489287296 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430489 14314094592 10629 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 43896 KiB
[startup+0.70087 s]
/proc/loadavg: 1.21 1.41 1.52 5/215 26595
/proc/meminfo: memFree=30105768/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13978684 memory=118976 CPUtime=1.37 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 13235 0 0 0 133 4 0 0 20 0 15 0 13430478 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3494671 29744 3161 1 0 3482964 0
[pid=26581/tid=26582] ppid=26579 vsize=13978684 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 7883 0 0 0 55 3 0 0 20 0 15 0 13430479 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012573917520 140012569693590 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13978684 memory=67760 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430479 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430479 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 13430481 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 13430481 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012114364064 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 13430481 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012113310960 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) R 26579 26579 15523 0 -1 4202560 1480 0 0 0 27 0 0 0 20 0 15 0 13430484 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012111198560 140012547254576 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) R 26579 26579 15523 0 -1 4202560 1144 0 0 0 26 0 0 0 20 0 15 0 13430484 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140012110138288 140012554807536 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) R 26579 26579 15523 0 -1 1077944384 1424 0 0 0 23 0 0 0 20 0 15 0 13430484 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 13430489 14314172416 29744 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 120356 KiB
[startup+1.50085 s]
/proc/loadavg: 1.21 1.41 1.52 4/215 26595
/proc/meminfo: memFree=30023640/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13980732 memory=202320 CPUtime=3.02 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 17127 0 0 0 294 8 0 0 20 0 15 0 13430478 14316269568 50580 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
################
# More data... #
################
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012113310976 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13980732 memory=259488 CPUtime=2.96 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 16507 0 0 0 294 2 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13980732 memory=259488 CPUtime=2.6 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 16305 0 0 0 257 3 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13980732 memory=4124 CPUtime=0.61 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26579 26579 15523 0 -1 1077944384 7371 0 0 0 60 1 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13980732 memory=1380 CPUtime=1.14 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 871 0 0 0 55 59 0 0 20 0 15 0 13430489 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 2449.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260868 KiB
[startup+2502.3 s]
/proc/loadavg: 1.79 1.85 1.81 3/212 26844
/proc/meminfo: memFree=31398960/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13980732 memory=259488 CPUtime=2509.64 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 60876 0 0 0 250895 69 0 0 20 0 15 0 13430478 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3495183 64872 3230 1 0 3483476 0
[pid=26581/tid=26582] ppid=26579 vsize=13980732 memory=259488 CPUtime=2502.05 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 16502 0 0 0 250199 6 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012573917888 140012197132873 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 425 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 475 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 124 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 759 0 0 0 2 2 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012114364128 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012113310976 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13980732 memory=1380 CPUtime=2.96 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 16508 0 0 0 294 2 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13980732 memory=1380 CPUtime=2.6 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 16305 0 0 0 257 3 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26579 26579 15523 0 -1 1077944384 7396 0 0 0 60 1 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13980732 memory=4124 CPUtime=1.17 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 877 0 0 0 56 61 0 0 20 0 15 0 13430489 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 2509.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.7 s]
/proc/loadavg: 1.82 1.85 1.81 4/212 26845
/proc/meminfo: memFree=31399084/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13980732 memory=259488 CPUtime=2520.04 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 60877 0 0 0 251935 69 0 0 20 0 15 0 13430478 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3495183 64872 3230 1 0 3483476 0
[pid=26581/tid=26582] ppid=26579 vsize=13980732 memory=1380 CPUtime=2512.45 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 16503 0 0 0 251239 6 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012573917888 140012197132566 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 425 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 475 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 124 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 759 0 0 0 2 2 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012114364128 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13980732 memory=8684 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012113310976 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13980732 memory=1380 CPUtime=2.96 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 16508 0 0 0 294 2 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13980732 memory=259488 CPUtime=2.6 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 16305 0 0 0 257 3 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26579 26579 15523 0 -1 1077944384 7396 0 0 0 60 1 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13980732 memory=1380 CPUtime=1.17 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 877 0 0 0 56 61 0 0 20 0 15 0 13430489 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.71 s]
# the end of solver process 26579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000919 s, system=0.000919 s
[startup+2512.71 s]
# the end of solver process 26581 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.36 s, system=0.702995 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.7 s]
/proc/loadavg: 1.82 1.85 1.81 4/212 26845
/proc/meminfo: memFree=31399084/32770624 swapFree=67108860/67108860
[pid=26579] ppid=26576 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26579/stat : 26579 (xcsp3-exec) S 26576 26579 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 13430474 9740288 345 18446744073709551615 4194304 5098028 140725077151424 140725077149528 140274833035900 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 4 0 0 7196144 7232144 34451456 140725077156218 140725077156422 140725077156422 140725077159915 0
/proc/26579/statm: 2378 345 289 221 0 87 0
[pid=26581] ppid=26579 vsize=13980732 memory=259488 CPUtime=2520.04 cores=1,3,5,7
/proc/26581/stat : 26581 (java) S 26579 26579 15523 0 -1 1077944320 60877 0 0 0 251935 69 0 0 20 0 15 0 13430478 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140724153911472 140012569681655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
/proc/26581/statm: 3495183 64872 3230 1 0 3483476 0
[pid=26581/tid=26582] ppid=26579 vsize=13980732 memory=1380 CPUtime=2512.45 cores=1,3,5,7
/proc/26581/task/26582/stat : 26582 (java) R 26579 26579 15523 0 -1 4202560 16503 0 0 0 251239 6 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012573917888 140012197132566 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26583] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26583/stat : 26583 (java) S 26579 26579 15523 0 -1 1077944384 425 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012169992720 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26584] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.03 cores=1,3,5,7
/proc/26581/task/26584/stat : 26584 (java) S 26579 26579 15523 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012168940176 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26585] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26585/stat : 26585 (java) S 26579 26579 15523 0 -1 1077944384 475 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012167887120 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26586] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26586/stat : 26586 (java) S 26579 26579 15523 0 -1 1077944384 124 0 0 0 3 1 0 0 20 0 15 0 13430479 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012166834576 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26587] ppid=26579 vsize=13980732 memory=259488 CPUtime=0.04 cores=1,3,5,7
/proc/26581/task/26587/stat : 26587 (java) S 26579 26579 15523 0 -1 1077944384 759 0 0 0 2 2 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012115417840 140012569692802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26588] ppid=26579 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26588/stat : 26588 (java) S 26579 26579 15523 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012114364128 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26589] ppid=26579 vsize=13980732 memory=8684 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26589/stat : 26589 (java) S 26579 26579 15523 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 13430481 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012113310976 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26590] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26590/stat : 26590 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012112259536 140012569700251 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26591] ppid=26579 vsize=13980732 memory=1380 CPUtime=2.96 cores=1,3,5,7
/proc/26581/task/26591/stat : 26591 (java) S 26579 26579 15523 0 -1 1077944384 16508 0 0 0 294 2 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012111206640 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26592] ppid=26579 vsize=13980732 memory=259488 CPUtime=2.6 cores=1,3,5,7
/proc/26581/task/26592/stat : 26592 (java) S 26579 26579 15523 0 -1 1077944384 16305 0 0 0 257 3 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140012110154096 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26593] ppid=26579 vsize=13980732 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/26581/task/26593/stat : 26593 (java) S 26579 26579 15523 0 -1 1077944384 7396 0 0 0 60 1 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011479754736 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26594] ppid=26579 vsize=13980732 memory=259488 CPUtime=0 cores=1,3,5,7
/proc/26581/task/26594/stat : 26594 (java) S 26579 26579 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13430484 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011478702432 140012569691861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
[pid=26581/tid=26595] ppid=26579 vsize=13980732 memory=1380 CPUtime=1.17 cores=1,3,5,7
/proc/26581/task/26595/stat : 26595 (java) S 26579 26579 15523 0 -1 1077944384 877 0 0 0 56 61 0 0 20 0 15 0 13430489 14316269568 64872 18446744073709551615 4194304 4196468 140724153928928 140011477650480 140012569692802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140724153930162 140724153930338 140724153930338 140724153933775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 260868 KiB
Child status: 143
Real time (s): 2512.71
CPU time (s): 2520.07
CPU user time (s): 2519.36
CPU system time (s): 0.702995
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 260868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.36
system time used= 0.702995
maximum resident set size= 260396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57462
involuntary context switches= 671
# summary of solver processes directly reported to runsolver:
# pid: 26579,26581
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.36
# total CPU system time (s): 0.702995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9136 second user time and 19.6472 second system time
The end