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 (13509 MiB free)
memory of node 1: 16384 MiB (15333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272468-1502849404/watcher-4272468-1502849404 -o /tmp/evaluation-result-4272468-1502849404/solver-4272468-1502849404 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2038993393 HOME/instance-4272468-1502849404.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=13673, runsolver pid=13670
[startup+0.100112 s]*
/proc/loadavg: 2.18 2.01 2.05 3/205 13683
/proc/meminfo: memFree=29528164/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13574484 memory=19348 CPUtime=0.03 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 4164 0 0 0 2 1 0 0 20 0 9 0 87161017 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3393621 4837 2104 1 0 3383118 0
[pid=13675/tid=13676] ppid=13673 vsize=13574484 memory=7311146985107750967 CPUtime=0.02 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 2877 0 0 0 2 0 0 0 20 0 9 0 87161017 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951628589424 139951624373405 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13574484 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 87161018 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13574484 memory=139890988100456 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 87161018 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 87161018 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 87161018 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13574484 memory=139890988086912 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 87161019 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 87161020 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 87161020 13900271616 4837 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20728 KiB
[startup+0.209818 s]*
/proc/loadavg: 2.18 2.01 2.05 4/211 13689
/proc/meminfo: memFree=29518952/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13974352 memory=27940 CPUtime=0.13 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 5527 0 0 0 12 1 0 0 20 0 15 0 87161017 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3493588 6985 2837 1 0 3482964 0
[pid=13675/tid=13676] ppid=13673 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 3456 0 0 0 9 0 0 0 20 0 15 0 87161017 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951628578080 139951624363414 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13974352 memory=139890988100456 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87161018 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13974352 memory=139890988086912 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87161019 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87161020 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87161020 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 87161022 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) R 13673 13673 897 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 87161022 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13974352 memory=139890988086912 CPUtime=0.02 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) R 13673 13673 897 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 15 0 87161022 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13974352 memory=139890988086912 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161027 14309736448 6985 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29320 KiB
[startup+0.310281 s]*
/proc/loadavg: 2.18 2.01 2.05 3/211 13689
/proc/meminfo: memFree=29506232/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13978608 memory=39824 CPUtime=0.34 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 9099 0 0 0 31 3 0 0 20 0 15 0 87161017 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3494652 9956 3016 1 0 3482964 0
[pid=13675/tid=13676] ppid=13673 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 6300 0 0 0 18 2 0 0 20 0 15 0 87161017 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951628568368 139951624373405 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87161018 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 87161019 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87161020 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87161020 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 87161022 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) S 13673 13673 897 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 87161022 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 708 0 0 0 8 0 0 0 20 0 15 0 87161022 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161027 14314094592 9956 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41204 KiB
[startup+0.701132 s]
/proc/loadavg: 2.18 2.01 2.05 5/211 13689
/proc/meminfo: memFree=29493024/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=67680 CPUtime=1.29 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 13582 0 0 0 124 5 0 0 20 0 15 0 87161017 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 16920 3178 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=7666631141572832339 CPUtime=0.57 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 8555 0 0 0 54 3 0 0 20 0 15 0 87161017 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951628590744 139951257823937 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 87161019 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) R 13673 13673 897 0 -1 4202560 984 0 0 0 18 0 0 0 20 0 15 0 87161022 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951098246736 139951605051776 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13980732 memory=2529 CPUtime=0.2 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) R 13673 13673 897 0 -1 4202560 1144 0 0 0 20 0 0 0 20 0 15 0 87161022 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951097184560 139951609260383 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13980732 memory=2000 CPUtime=0.3 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 1602 0 0 0 30 0 0 0 20 0 15 0 87161022 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13980732 memory=11016 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161027 14316269568 16920 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69060 KiB
[startup+1.50082 s]
/proc/loadavg: 2.18 2.01 2.05 5/211 13689
/proc/meminfo: memFree=29458360/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=120276 CPUtime=3.88 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 24866 0 0 0 381 7 0 0 20 0 15 0 87161017 14316269568 30069 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 30069 3196 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 9415 0 0 0 133 4 0 0 20 0 15 0 87161017 14316269568 30069 18446744073709551615 4194304 4196468 140727676540944 139951628588224 139951263168359 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 30069 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 30069 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=85600 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 87161018 14316269568 30069 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=1008008 CPUtime=1514.3 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 202962 0 0 0 151041 389 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 252002 3254 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=1008008 CPUtime=1455.8 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 63488 0 0 0 145556 24 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951628591264 139951262372068 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=1 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 11856 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=1380 CPUtime=12.34 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 13567 0 0 0 1156 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=1008008 CPUtime=12.36 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 13080 0 0 0 1158 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=1380 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 9852 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13980732 memory=1380 CPUtime=0.4 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 38328 0 0 0 33 7 0 0 20 0 15 0 87161019 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13980732 memory=1045764 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13980732 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13980732 memory=3212 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13980732 memory=-3622645143214314312 CPUtime=3.42 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 17018 0 0 0 339 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13980732 memory=1075552 CPUtime=3.7 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) S 13673 13673 897 0 -1 1077944384 21642 0 0 0 367 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13980732 memory=1160 CPUtime=0.74 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 11337 0 0 0 72 2 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13980732 memory=3212 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13980732 memory=-8774313645642428999 CPUtime=0.78 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1444 0 0 0 37 41 0 0 20 0 15 0 87161027 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 1514.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009388 KiB
[startup+1470.4 s]
/proc/loadavg: 1.63 1.71 1.82 3/214 13806
/proc/meminfo: memFree=28927260/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=1008008 CPUtime=1515.9 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 202962 0 0 0 151201 389 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 252002 3254 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=-8774313645642428999 CPUtime=1457.4 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 63488 0 0 0 145716 24 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951628591152 139951262372068 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=48008 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 11856 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=1292 CPUtime=12.34 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 13567 0 0 0 1156 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=2316 CPUtime=12.36 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 13080 0 0 0 1158 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=1008008 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 9852 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13980732 memory=1712 CPUtime=0.4 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 38328 0 0 0 33 7 0 0 20 0 15 0 87161019 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13980732 memory=1228 CPUtime=3.42 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 17018 0 0 0 339 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13980732 memory=796 CPUtime=3.7 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) S 13673 13673 897 0 -1 1077944384 21642 0 0 0 367 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13980732 memory=5788 CPUtime=0.74 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 11337 0 0 0 72 2 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13980732 memory=1240 CPUtime=0.79 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1444 0 0 0 38 41 0 0 20 0 15 0 87161027 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 1515.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009388 KiB
[startup+1471.2 s]
/proc/loadavg: 1.63 1.71 1.82 3/214 13806
/proc/meminfo: memFree=28927348/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=1008008 CPUtime=1516.7 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 202962 0 0 0 151281 389 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 252002 3254 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=1012 CPUtime=1458.2 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 63488 0 0 0 145796 24 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951628591152 139951262372068 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=1380 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 11856 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=1008008 CPUtime=12.34 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 13567 0 0 0 1156 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=1624 CPUtime=12.36 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 13080 0 0 0 1158 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=-8774313645642428999 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 9852 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13980732 memory=4044 CPUtime=0.4 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 38328 0 0 0 33 7 0 0 20 0 15 0 87161019 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13980732 memory=-8774313645642428999 CPUtime=3.42 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 17018 0 0 0 339 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13980732 memory=1712 CPUtime=3.7 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) S 13673 13673 897 0 -1 1077944384 21642 0 0 0 367 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13980732 memory=4616 CPUtime=0.74 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 11337 0 0 0 72 2 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13980732 memory=10164 CPUtime=0.79 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1444 0 0 0 38 41 0 0 20 0 15 0 87161027 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 1516.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009388 KiB
[startup+1471.4 s]
/proc/loadavg: 1.63 1.71 1.82 3/214 13806
/proc/meminfo: memFree=28927348/32770624 swapFree=67108860/67108860
[pid=13673] ppid=13670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13673/stat : 13673 (xcsp3-exec) S 13670 13673 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 87161010 9740288 345 18446744073709551615 4194304 5098028 140730410323344 140730410321448 140678524465788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40161280 140730410328440 140730410328645 140730410328645 140730410332139 0
/proc/13673/statm: 2378 345 289 221 0 87 0
[pid=13675] ppid=13673 vsize=13980732 memory=1008008 CPUtime=1516.9 cores=1,3,5,7
/proc/13675/stat : 13675 (java) S 13673 13673 897 0 -1 1077944320 202962 0 0 0 151301 389 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 140727676523488 139951624351479 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
/proc/13675/statm: 3495183 252002 3254 1 0 3483476 0
[pid=13675/tid=13676] ppid=13673 vsize=13980732 memory=1292 CPUtime=1458.4 cores=1,3,5,7
/proc/13675/task/13676/stat : 13676 (java) R 13673 13673 897 0 -1 4202560 63488 0 0 0 145816 24 0 0 20 0 15 0 87161017 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951628591152 139951264559779 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13677] ppid=13673 vsize=13980732 memory=2316 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13677/stat : 13677 (java) S 13673 13673 897 0 -1 1077944384 11856 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951581317904 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13678] ppid=13673 vsize=13980732 memory=1728 CPUtime=12.34 cores=1,3,5,7
/proc/13675/task/13678/stat : 13678 (java) S 13673 13673 897 0 -1 1077944384 13567 0 0 0 1156 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951580265360 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13679] ppid=13673 vsize=13980732 memory=1228 CPUtime=12.36 cores=1,3,5,7
/proc/13675/task/13679/stat : 13679 (java) S 13673 13673 897 0 -1 1077944384 13080 0 0 0 1158 78 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951579212816 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13680] ppid=13673 vsize=13980732 memory=796 CPUtime=12.33 cores=1,3,5,7
/proc/13675/task/13680/stat : 13680 (java) S 13673 13673 897 0 -1 1077944384 9852 0 0 0 1154 79 0 0 20 0 15 0 87161018 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951578160272 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13681] ppid=13673 vsize=13980732 memory=5788 CPUtime=0.4 cores=1,3,5,7
/proc/13675/task/13681/stat : 13681 (java) S 13673 13673 897 0 -1 1077944384 38328 0 0 0 33 7 0 0 20 0 15 0 87161019 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951102470128 139951624362626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13682] ppid=13673 vsize=13980732 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13682/stat : 13682 (java) S 13673 13673 897 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951101416352 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13683] ppid=13673 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13683/stat : 13683 (java) S 13673 13673 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 87161020 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951100363760 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13684] ppid=13673 vsize=13980732 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13684/stat : 13684 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951099312336 139951624370075 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13685] ppid=13673 vsize=13980732 memory=10164 CPUtime=3.42 cores=1,3,5,7
/proc/13675/task/13685/stat : 13685 (java) S 13673 13673 897 0 -1 1077944384 17018 0 0 0 339 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951098259952 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13686] ppid=13673 vsize=13980732 memory=1440 CPUtime=3.7 cores=1,3,5,7
/proc/13675/task/13686/stat : 13686 (java) S 13673 13673 897 0 -1 1077944384 21642 0 0 0 367 3 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951097207408 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13687] ppid=13673 vsize=13980732 memory=2000 CPUtime=0.74 cores=1,3,5,7
/proc/13675/task/13687/stat : 13687 (java) S 13673 13673 897 0 -1 1077944384 11337 0 0 0 72 2 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951096154864 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13688] ppid=13673 vsize=13980732 memory=11016 CPUtime=0 cores=1,3,5,7
/proc/13675/task/13688/stat : 13688 (java) S 13673 13673 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 87161022 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951095102560 139951624361685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
[pid=13675/tid=13689] ppid=13673 vsize=13980732 memory=1200 CPUtime=0.79 cores=1,3,5,7
/proc/13675/task/13689/stat : 13689 (java) S 13673 13673 897 0 -1 1077944384 1444 0 0 0 38 41 0 0 20 0 15 0 87161027 14316269568 252002 18446744073709551615 4194304 4196468 140727676540944 139951094049072 139951624362626 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39436288 140727676543409 140727676543585 140727676543585 140727676547023 0
Current children cumulated CPU time: 1516.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1009388 KiB
Child status: 0
Real time (s): 1471.45
CPU time (s): 1516.96
CPU user time (s): 1513.06
CPU system time (s): 3.90419
CPU usage (%): 103.093
Max. virtual memory (cumulated for all children) (KiB): 13991912
Max. memory (cumulated for all children) (KiB): 1583992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1513.06
system time used= 3.90419
maximum resident set size= 1587900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39017
involuntary context switches= 1765
# summary of solver processes directly reported to runsolver:
# pid: 13673
# total CPU time (s): 1516.96
# total CPU user time (s): 1513.06
# total CPU system time (s): 3.90419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94332 second user time and 15.5496 second system time
The end