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 (10934 MiB free)
memory of node 1: 16384 MiB (13691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292234-1532334526/watcher-4292234-1532334526 -o /tmp/evaluation-result-4292234-1532334526/solver-4292234-1532334526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 984573499 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292234-1532334526.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=15645, runsolver pid=15642
[startup+0.102621 s]*
/proc/loadavg: 2.25 2.12 2.07 3/221 15661
/proc/meminfo: memFree=25200484/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14082840 memory=27944 CPUtime=0.12 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 5825 0 0 0 11 1 0 0 20 0 15 0 51015862 14420828160 6986 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3520710 6986 3030 1 0 3483008 0
[pid=15647/tid=15648] ppid=15645 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) R 15645 15645 14382 0 -1 4202560 3740 0 0 0 9 0 0 0 20 0 15 0 51015862 14420828160 6986 33554432000 4194304 4196468 140732261615232 140125691212672 140125668539799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 6986 33554432000 4194304 4196468 140732261615232 140125658818832 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 6986 33554432000 4194304 4196468 140732261615232 140125281294736 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 6986 33554432000 4194304 4196468 140732261615232 140125280242192 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15645 15645 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 6986 33554432000 4194304 4196468 140732261615232 140125279189648 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51015864 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124599183856 140125686987394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51015865 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124598130080 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51015865 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124597077488 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0.01 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124592867568 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 6986 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29396 KiB
[startup+0.210884 s]*
/proc/loadavg: 2.25 2.12 2.07 5/221 15661
/proc/meminfo: memFree=25189452/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14082840 memory=39976 CPUtime=0.34 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 8513 0 0 0 32 2 0 0 20 0 15 0 51015862 14420828160 9994 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3520710 9994 3202 1 0 3483008 0
[pid=15647/tid=15648] ppid=15645 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) R 15645 15645 14382 0 -1 4202560 5489 0 0 0 19 1 0 0 20 0 15 0 51015862 14420828160 9994 33554432000 4194304 4196468 140732261615232 140125691211232 140125671019877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14082840 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 9994 33554432000 4194304 4196468 140732261615232 140125658818832 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14082840 memory=140717272084956 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 9994 33554432000 4194304 4196468 140732261615232 140125281294736 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 9994 33554432000 4194304 4196468 140732261615232 140125280242192 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15645 15645 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51015863 14420828160 9994 33554432000 4194304 4196468 140732261615232 140125279189648 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51015864 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124599183856 140125686987394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51015865 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124598130080 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51015865 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124597077488 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 753 0 0 0 2 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14082840 memory=140717272069760 CPUtime=0.07 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) R 15645 15645 14382 0 -1 4202560 903 0 0 0 7 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124592867568 140125665509628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015868 14420828160 9994 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41428 KiB
[startup+0.311809 s]*
/proc/loadavg: 2.25 2.12 2.07 4/221 15661
/proc/meminfo: memFree=25182132/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14087096 memory=46956 CPUtime=0.51 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 9397 0 0 0 48 3 0 0 20 0 15 0 51015862 14425186304 11739 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3521774 11739 3234 1 0 3483008 0
[pid=15647/tid=15648] ppid=15645 vsize=14087096 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) R 15645 15645 14382 0 -1 4202560 6201 0 0 0 28 2 0 0 20 0 15 0 51015862 14425186304 11739 33554432000 4194304 4196468 140732261615232 140125691207360 140125671056734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14425186304 11739 33554432000 4194304 4196468 140732261615232 140125658818832 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14425186304 11739 33554432000 4194304 4196468 140732261615232 140125281294736 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015863 14425186304 11739 33554432000 4194304 4196468 140732261615232 140125280242192 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15645 15645 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51015863 14425186304 11739 33554432000 4194304 4196468 140732261615232 140125279189648 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51015864 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124599183856 140125686987394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51015865 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124598130080 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51015865 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124597077488 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14087096 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14087096 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 767 0 0 0 4 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 88 0 0 0 4 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 1043 0 0 0 12 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124592867568 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015868 14425186304 11739 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48408 KiB
[startup+0.708654 s]
/proc/loadavg: 2.25 2.12 2.07 3/221 15661
/proc/meminfo: memFree=25066888/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14089220 memory=291780 CPUtime=1.35 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 11575 0 0 0 114 21 0 0 20 0 15 0 51015862 14427361280 72945 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3522305 72945 3319 1 0 3483520 0
[pid=15647/tid=15648] ppid=15645 vsize=14089220 memory=33 CPUtime=0.62 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) R 15645 15645 14382 0 -1 4202560 6631 0 0 0 57 5 0 0 20 0 15 0 51015862 14427361280 72945 33554432000 4194304 4196468 140732261615232 140125691211072 140125322906375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14089220 memory=-7816663703405220396 CPUtime=0.05 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) S 15645 15645 14382 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 51015863 14427361280 72945 33554432000 4194304 4196468 140732261615232 140125658818832 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14089220 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) S 15645 15645 14382 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 51015863 14427361280 72945 33554432000 4194304 4196468 140732261615232 140125281294736 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14089220 memory=16752 CPUtime=0.05 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) S 15645 15645 14382 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 51015863 14427361280 72945 33554432000 4194304 4196468 140732261615232 140125280242192 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14089220 memory=2396 CPUtime=0.05 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) S 15645 15645 14382 0 -1 1077944384 69 0 0 0 2 3 0 0 20 0 15 0 51015863 14427361280 72945 33554432000 4194304 4196468 140732261615232 140125279189648 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 51015864 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124599183856 140125686987394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124598130080 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124597077488 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14089220 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14089220 memory=796 CPUtime=0.12 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) R 15645 15645 14382 0 -1 4202560 1145 0 0 0 12 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124594953672 140125671900534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14089220 memory=4616 CPUtime=0.11 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) R 15645 15645 14382 0 -1 4202560 515 0 0 0 11 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124593901128 140125666228048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14089220 memory=1424 CPUtime=0.21 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) R 15645 15645 14382 0 -1 4202560 1653 0 0 0 21 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124592865528 140125665536914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 72945 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 293232 KiB
[startup+1.50081 s]
/proc/loadavg: 2.25 2.12 2.07 3/221 15661
/proc/meminfo: memFree=24829080/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/15647/task/15650/stat : 15650 (java) R 15645 15645 14382 0 -1 4202560 135244 0 0 0 448 237 0 0 20 0 15 0 51015863 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140125281294856 140125679604455 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14089220 memory=9702572 CPUtime=6.97 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) R 15645 15645 14382 0 -1 4202560 380495 0 0 0 437 260 0 0 20 0 15 0 51015863 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140125280242392 140125680079261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14089220 memory=1568 CPUtime=6.96 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) R 15645 15645 14382 0 -1 4202560 140200 0 0 0 421 275 0 0 20 0 15 0 51015863 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140125279189456 140125679604455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14089220 memory=1424 CPUtime=0.36 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 8074 0 0 0 35 1 0 0 20 0 15 0 51015864 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124599182400 140125686986453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124598130144 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124597077504 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14089220 memory=9702572 CPUtime=0.59 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 2494 0 0 0 59 0 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14089220 memory=-1807685287724412255 CPUtime=0.61 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 1492 0 0 0 61 0 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14089220 memory=6791534058613427641 CPUtime=0.35 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 4035 0 0 0 34 1 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124592867568 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14089220 memory=16764 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14089220 memory=2396 CPUtime=0.17 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 708 0 0 0 7 10 0 0 20 0 15 0 51015868 14427361280 2918074 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 288.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11673748 KiB
[startup+268.801 s]
/proc/loadavg: 1.98 2.05 2.05 6/221 15674
/proc/meminfo: memFree=12855284/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14089220 memory=11726668 CPUtime=299.06 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 1176548 0 0 0 28765 1141 0 0 20 0 15 0 51015862 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3522305 2931667 3378 1 0 3483520 0
[pid=15647/tid=15648] ppid=15645 vsize=14089220 memory=11672296 CPUtime=258.42 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) S 15645 15645 14382 0 -1 1077944384 176785 0 0 0 25760 82 0 0 20 0 15 0 51015862 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140125691214256 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14089220 memory=6791534058613427641 CPUtime=9.53 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15645 15645 14382 0 -1 4202560 190699 0 0 0 693 260 0 0 20 0 15 0 51015863 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140125658818640 140125679604455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14089220 memory=6791534058613427641 CPUtime=9.49 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) R 15645 15645 14382 0 -1 4202560 135965 0 0 0 711 238 0 0 20 0 15 0 51015863 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140125281294936 140125680079226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14089220 memory=16764 CPUtime=9.62 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) R 15645 15645 14382 0 -1 4202560 513414 0 0 0 695 267 0 0 20 0 15 0 51015863 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140125280242000 140125679604455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14089220 memory=2396 CPUtime=9.56 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) R 15645 15645 14382 0 -1 4202560 140704 0 0 0 678 278 0 0 20 0 15 0 51015863 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140125279189768 140125679604455 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14089220 memory=1292 CPUtime=0.63 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 8871 0 0 0 62 1 0 0 20 0 15 0 51015864 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124599182416 140125686986453 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14089220 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124598130144 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14089220 memory=9702572 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124597077504 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14089220 memory=10420 CPUtime=0.59 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 2499 0 0 0 59 0 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124594972704 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14089220 memory=16764 CPUtime=0.61 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 1494 0 0 0 61 0 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124593920160 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14089220 memory=2396 CPUtime=0.35 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 4038 0 0 0 34 1 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124592867328 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14089220 memory=1732 CPUtime=0.17 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 733 0 0 0 7 10 0 0 20 0 15 0 51015868 14427361280 2931667 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 299.06 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11728120 KiB
[startup+270.402 s]
/proc/loadavg: 2.14 2.08 2.06 6/221 15674
/proc/meminfo: memFree=12855036/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14089220 memory=11726784 CPUtime=304.77 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 1253055 0 0 0 29328 1149 0 0 20 0 15 0 51015862 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3522305 2931696 3379 1 0 3483520 0
[pid=15647/tid=15648] ppid=15645 vsize=14089220 memory=1452 CPUtime=258.42 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) S 15645 15645 14382 0 -1 1077944384 176884 0 0 0 25760 82 0 0 20 0 15 0 51015862 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125691215936 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14089220 memory=11726784 CPUtime=10.91 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15645 15645 14382 0 -1 4202560 210453 0 0 0 830 261 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125658818720 140125680079226 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14089220 memory=10084 CPUtime=10.88 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) R 15645 15645 14382 0 -1 4202560 153324 0 0 0 849 239 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125281294936 140125680079286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14089220 memory=6791534058613427641 CPUtime=11 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) R 15645 15645 14382 0 -1 4202560 530226 0 0 0 832 268 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125280242392 140125680079233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14089220 memory=1292 CPUtime=10.91 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) R 15645 15645 14382 0 -1 4202560 154754 0 0 0 810 281 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125279189848 140125680079219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14089220 memory=1732 CPUtime=0.83 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 17248 0 0 0 82 1 0 0 20 0 15 0 51015864 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124599182400 140125686986453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124598130144 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14089220 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124597077504 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14089220 memory=644 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14089220 memory=1800 CPUtime=0.59 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 2500 0 0 0 59 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14089220 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 1494 0 0 0 61 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14089220 memory=5404 CPUtime=0.35 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 4073 0 0 0 34 1 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124592863888 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14089220 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14089220 memory=4616 CPUtime=0.17 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 733 0 0 0 7 10 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 304.77 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11728236 KiB
[startup+271.202 s]
/proc/loadavg: 2.14 2.08 2.06 6/221 15674
/proc/meminfo: memFree=12855036/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
[pid=15647] ppid=15645 vsize=14089220 memory=11726784 CPUtime=307.95 cores=1,3,5,7
/proc/15647/stat : 15647 (java) S 15645 15645 14382 0 -1 1077944320 1349206 0 0 0 29640 1155 0 0 20 0 15 0 51015862 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140732261597776 140125686976247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
/proc/15647/statm: 3522305 2931696 3379 1 0 3483520 0
[pid=15647/tid=15648] ppid=15645 vsize=14089220 memory=1568 CPUtime=258.42 cores=1,3,5,7
/proc/15647/task/15648/stat : 15648 (java) S 15645 15645 14382 0 -1 1077944384 176884 0 0 0 25760 82 0 0 20 0 15 0 51015862 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125691215936 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15649] ppid=15645 vsize=14089220 memory=2240 CPUtime=11.71 cores=1,3,5,7
/proc/15647/task/15649/stat : 15649 (java) R 15645 15645 14382 0 -1 4202560 229629 0 0 0 908 263 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125658818720 140125680079233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15650] ppid=15645 vsize=14089220 memory=4124 CPUtime=11.68 cores=1,3,5,7
/proc/15647/task/15650/stat : 15650 (java) R 15645 15645 14382 0 -1 4202560 175331 0 0 0 928 240 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125281294936 140125680079226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15651] ppid=15645 vsize=14089220 memory=2196 CPUtime=11.8 cores=1,3,5,7
/proc/15647/task/15651/stat : 15651 (java) R 15645 15645 14382 0 -1 4202560 562928 0 0 0 909 271 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125280242392 140125680079271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15652] ppid=15645 vsize=14089220 memory=7636 CPUtime=11.69 cores=1,3,5,7
/proc/15647/task/15652/stat : 15652 (java) R 15645 15645 14382 0 -1 4202560 177020 0 0 0 887 282 0 0 20 0 15 0 51015863 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140125279189848 140125680079219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15653] ppid=15645 vsize=14089220 memory=1200 CPUtime=0.83 cores=1,3,5,7
/proc/15647/task/15653/stat : 15653 (java) S 15645 15645 14382 0 -1 1077944384 17248 0 0 0 82 1 0 0 20 0 15 0 51015864 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124599182400 140125686986453 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15654] ppid=15645 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15654/stat : 15654 (java) S 15645 15645 14382 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124598130144 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15655] ppid=15645 vsize=14089220 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15655/stat : 15655 (java) S 15645 15645 14382 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 51015865 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124597077504 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15656] ppid=15645 vsize=14089220 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15656/stat : 15656 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124596026064 140125686994843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15657] ppid=15645 vsize=14089220 memory=10420 CPUtime=0.59 cores=1,3,5,7
/proc/15647/task/15657/stat : 15657 (java) S 15645 15645 14382 0 -1 1077944384 2500 0 0 0 59 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124594972656 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15658] ppid=15645 vsize=14089220 memory=15872 CPUtime=0.61 cores=1,3,5,7
/proc/15647/task/15658/stat : 15658 (java) S 15645 15645 14382 0 -1 1077944384 1494 0 0 0 61 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124593920112 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15659] ppid=15645 vsize=14089220 memory=18476 CPUtime=0.35 cores=1,3,5,7
/proc/15647/task/15659/stat : 15659 (java) S 15645 15645 14382 0 -1 1077944384 4073 0 0 0 34 1 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124592863888 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15660] ppid=15645 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/15647/task/15660/stat : 15660 (java) S 15645 15645 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124591815264 140125686986453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
[pid=15647/tid=15661] ppid=15645 vsize=14089220 memory=1008 CPUtime=0.17 cores=1,3,5,7
/proc/15647/task/15661/stat : 15661 (java) S 15645 15645 14382 0 -1 1077944384 733 0 0 0 7 10 0 0 20 0 15 0 51015868 14427361280 2931696 33554432000 4194304 4196468 140732261615232 140124590762800 140125686987394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11337728 140732261618817 140732261618993 140732261618993 140732261621711 0
Current children cumulated CPU time: 307.95 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 11728236 KiB
[startup+271.401 s]
/proc/loadavg: 2.14 2.08 2.06 6/221 15674
/proc/meminfo: memFree=12855036/32770624 swapFree=67108860/67108860
[pid=15645] ppid=15642 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15645/stat : 15645 (xcsp3-exec) S 15642 15645 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51015862 115843072 363 33554432000 4194304 5098028 140723422666112 140723422664216 139713933152892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31363072 140723422671931 140723422672132 140723422672132 140723422674890 0
/proc/15645/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 271.428
CPU time (s): 308.224
CPU user time (s): 296.533
CPU system time (s): 11.6914
CPU usage (%): 113.557
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 11728236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 296.533
system time used= 11.6914
maximum resident set size= 11727172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1350923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27515
involuntary context switches= 641
# summary of solver processes directly reported to runsolver:
# pid: 15645
# total CPU time (s): 308.224
# total CPU user time (s): 296.533
# total CPU system time (s): 11.6914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52462 second user time and 3.20281 second system time
The end