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 (9177 MiB free)
memory of node 1: 16384 MiB (13642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282661-1503168767/watcher-4282661-1503168767 -o /tmp/evaluation-result-4282661-1503168767/solver-4282661-1503168767 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1571319939 HOME/instance-4282661-1503168767.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=20940, runsolver pid=20937
[startup+0.100133 s]*
/proc/loadavg: 5.18 4.51 3.27 2/196 20941
/proc/meminfo: memFree=23368156/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209414 s]*
/proc/loadavg: 5.18 4.51 3.27 4/211 20956
/proc/meminfo: memFree=23355336/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13974352 memory=25532 CPUtime=0.07 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 4830 0 0 0 6 1 0 0 20 0 15 0 119071760 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3493588 6383 2718 1 0 3482964 0
[pid=20942/tid=20943] ppid=20940 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) R 20940 20940 8557 0 -1 4202560 2976 0 0 0 5 1 0 0 20 0 15 0 119071760 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161827248528 140161823034774 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161764968848 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13974352 memory=140173667226689 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161763916048 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161762863760 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161420106256 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071762 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161368689264 140161823033986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119071763 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161367635232 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119071763 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161364478064 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) R 20940 20940 8557 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161362372976 140161801886144 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071770 14309736448 6383 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26912 KiB
[startup+0.310152 s]*
/proc/loadavg: 5.18 4.51 3.27 3/211 20956
/proc/meminfo: memFree=23339776/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13974352 memory=37504 CPUtime=0.25 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 8453 0 0 0 23 2 0 0 20 0 15 0 119071760 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3493588 9376 2979 1 0 3482964 0
[pid=20942/tid=20943] ppid=20940 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) R 20940 20940 8557 0 -1 4202560 5673 0 0 0 14 1 0 0 20 0 15 0 119071760 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161827250608 140161823044765 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161764968848 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161763916048 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161762863760 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071761 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161420106256 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071762 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161368689264 140161823033986 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119071763 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161367635232 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119071763 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) R 20940 20940 8557 0 -1 4202560 708 0 0 0 2 0 0 0 20 0 15 0 119071765 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161364478064 140161804213787 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 119071765 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0.05 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 119071765 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161362372976 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13974352 memory=140173667206784 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071770 14309736448 9376 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38884 KiB
[startup+0.700843 s]
/proc/loadavg: 5.18 4.51 3.27 4/211 20956
/proc/meminfo: memFree=23329468/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13980732 memory=80916 CPUtime=1.09 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 11363 0 0 0 104 5 0 0 20 0 15 0 119071760 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3495183 20229 3158 1 0 3483476 0
[pid=20942/tid=20943] ppid=20940 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) R 20940 20940 8557 0 -1 4202560 7498 0 0 0 50 4 0 0 20 0 15 0 119071760 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161827258000 140161445940273 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161764968848 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13980732 memory=7517466910334674519 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161763916048 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161762863760 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161420106256 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119071762 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161368689264 140161823033986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161367635232 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=7682475212697334586 CPUtime=0.14 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 1055 0 0 0 14 0 0 0 20 0 15 0 119071765 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161364478064 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=50736 CPUtime=0.14 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 370 0 0 0 14 0 0 0 20 0 15 0 119071765 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=0.25 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 1133 0 0 0 25 0 0 0 20 0 15 0 119071765 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161362372976 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071770 14316269568 20229 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82296 KiB
[startup+1.50088 s]
/proc/loadavg: 5.16 4.52 3.28 3/211 20956
/proc/meminfo: memFree=23223596/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13980732 memory=156764 CPUtime=1.92 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 11495 0 0 0 186 6 0 0 20 0 15 0 119071760 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3495183 39191 3158 1 0 3483476 0
[pid=20942/tid=20943] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=1.34 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) R 20940 20940 8557 0 -1 4202560 7575 0 0 0 129 5 0 0 20 0 15 0 119071760 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161827258376 140161445989029 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13980732 memory=3472468468924946982 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161764968848 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13980732 memory=7162362258323153671 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161763916048 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=4207739687152135144 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) S 20940 20940 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161762863760 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=3472468468924953801 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) S 20940 20940 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119071761 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161420106256 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119071762 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161368689264 140161823033986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=6945503147706432880 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161367635232 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=-8412652169205224307 CPUtime=0.15 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 1058 0 0 0 15 0 0 0 20 0 15 0 119071765 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161364478064 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=-6158907362674458769 CPUtime=0.15 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 372 0 0 0 15 0 0 0 20 0 15 0 119071765 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 1150 0 0 0 25 0 0 0 20 0 15 0 119071765 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161362372976 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 119071770 14316269568 39191 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
################
# More data... #
################
/proc/20942/task/20945/stat : 20945 (java) R 20940 20940 8557 0 -1 4202560 74155 0 0 0 4260 246 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161763916248 140161808019501 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=-3622645143214314312 CPUtime=45.04 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) R 20940 20940 8557 0 -1 4202560 49968 0 0 0 4245 259 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161762863760 140161808019518 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=10401056 CPUtime=45.15 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) R 20940 20940 8557 0 -1 4202560 43266 0 0 0 4284 231 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161420106256 140161807721712 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=15348 CPUtime=15.6 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 38526 0 0 0 1556 4 0 0 20 0 15 0 119071762 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161368687808 140161823033045 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=38448 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161367635136 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=1740 CPUtime=0.28 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 3315 0 0 0 27 1 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161364478112 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=956 CPUtime=0.18 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 1269 0 0 0 18 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=0.32 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 4163 0 0 0 32 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161362372736 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=7344 CPUtime=0.12 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 331 0 0 0 6 6 0 0 20 0 15 0 119071770 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 321.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10402440 KiB
[startup+187.201 s]
/proc/loadavg: 3.19 3.66 3.16 6/212 20977
/proc/meminfo: memFree=12957816/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13980732 memory=10401060 CPUtime=327.32 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 298550 0 0 0 31717 1015 0 0 20 0 15 0 119071760 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3495183 2600265 3212 1 0 3483476 0
[pid=20942/tid=20943] ppid=20940 vsize=13980732 memory=4639948313719891052 CPUtime=124.16 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) S 20940 20940 8557 0 -1 1077944384 18577 0 0 0 12408 8 0 0 20 0 15 0 119071760 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161827260960 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13980732 memory=4639948313719891052 CPUtime=46.76 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) R 20940 20940 8557 0 -1 4202560 62406 0 0 0 4419 257 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161764969048 140161808007850 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13980732 memory=4639948313719891052 CPUtime=46.54 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) R 20940 20940 8557 0 -1 4202560 74293 0 0 0 4408 246 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161763916248 140161807973444 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=7309455896971864168 CPUtime=46.52 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) R 20940 20940 8557 0 -1 4202560 49969 0 0 0 4393 259 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161762863648 140161807973589 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=46.64 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) R 20940 20940 8557 0 -1 4202560 44353 0 0 0 4432 232 0 0 20 0 15 0 119071761 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161420106456 140161807973848 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=1672 CPUtime=15.69 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 38527 0 0 0 1565 4 0 0 20 0 15 0 119071762 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161368687600 140161823033045 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161367635136 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=872 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=1992 CPUtime=0.28 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 3315 0 0 0 27 1 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161364478112 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=1164 CPUtime=0.18 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 1269 0 0 0 18 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161363425264 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=5768 CPUtime=0.32 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 4163 0 0 0 32 0 0 0 20 0 15 0 119071765 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161362372736 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=872 CPUtime=0.12 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 331 0 0 0 6 6 0 0 20 0 15 0 119071770 14316269568 2600265 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 327.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10402440 KiB
[startup+188.801 s]
/proc/loadavg: 3.19 3.66 3.16 6/212 20977
/proc/meminfo: memFree=12957816/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13980732 memory=10401064 CPUtime=333.7 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 298811 0 0 0 32355 1015 0 0 20 0 15 0 119071760 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3495183 2600266 3212 1 0 3483476 0
[pid=20942/tid=20943] ppid=20940 vsize=13980732 memory=1228 CPUtime=124.16 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) S 20940 20940 8557 0 -1 1077944384 18577 0 0 0 12408 8 0 0 20 0 15 0 119071760 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161827260960 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13980732 memory=1400 CPUtime=48.36 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) R 20940 20940 8557 0 -1 4202560 62502 0 0 0 4579 257 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161764969048 140161807720614 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13980732 memory=2032 CPUtime=48.14 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) R 20940 20940 8557 0 -1 4202560 74422 0 0 0 4568 246 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161763916248 140161815651047 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=48.1 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) R 20940 20940 8557 0 -1 4202560 49970 0 0 0 4551 259 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161762863656 140161815651047 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=1672 CPUtime=48.24 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) R 20940 20940 8557 0 -1 4202560 44388 0 0 0 4592 232 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161420106456 140161815651047 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=5768 CPUtime=15.69 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 38527 0 0 0 1565 4 0 0 20 0 15 0 119071762 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161368687600 140161823033045 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161367635136 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=10401056 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=14340 CPUtime=0.28 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 3315 0 0 0 27 1 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161364478112 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=796 CPUtime=0.18 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 1269 0 0 0 18 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161363425312 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=872 CPUtime=0.32 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 4163 0 0 0 32 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161362372736 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=1164 CPUtime=0.13 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 331 0 0 0 7 6 0 0 20 0 15 0 119071770 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 333.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10402444 KiB
[startup+189.201 s]
/proc/loadavg: 3.19 3.66 3.16 6/212 20977
/proc/meminfo: memFree=12957816/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
[pid=20942] ppid=20940 vsize=13980732 memory=10401064 CPUtime=335.26 cores=1,3,5,7
/proc/20942/stat : 20942 (java) S 20940 20940 8557 0 -1 1077944320 298879 0 0 0 32511 1015 0 0 20 0 15 0 119071760 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140723350365968 140161823022839 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
/proc/20942/statm: 3495183 2600266 3212 1 0 3483476 0
[pid=20942/tid=20943] ppid=20940 vsize=13980732 memory=1380 CPUtime=124.16 cores=1,3,5,7
/proc/20942/task/20943/stat : 20943 (java) S 20940 20940 8557 0 -1 1077944384 18577 0 0 0 12408 8 0 0 20 0 15 0 119071760 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161827260960 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20944] ppid=20940 vsize=13980732 memory=7998164 CPUtime=48.76 cores=1,3,5,7
/proc/20942/task/20944/stat : 20944 (java) R 20940 20940 8557 0 -1 4202560 62539 0 0 0 4619 257 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161764968848 140161808019482 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20945] ppid=20940 vsize=13980732 memory=1160 CPUtime=48.53 cores=1,3,5,7
/proc/20942/task/20945/stat : 20945 (java) R 20940 20940 8557 0 -1 4202560 74436 0 0 0 4607 246 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161763916248 140161807721598 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20946] ppid=20940 vsize=13980732 memory=3108 CPUtime=48.49 cores=1,3,5,7
/proc/20942/task/20946/stat : 20946 (java) R 20940 20940 8557 0 -1 4202560 49987 0 0 0 4590 259 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161762863960 140161808019485 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20947] ppid=20940 vsize=13980732 memory=4872558044660077418 CPUtime=48.63 cores=1,3,5,7
/proc/20942/task/20947/stat : 20947 (java) R 20940 20940 8557 0 -1 4202560 44388 0 0 0 4631 232 0 0 20 0 15 0 119071761 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161420106144 140161807721712 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20948] ppid=20940 vsize=13980732 memory=2384 CPUtime=15.7 cores=1,3,5,7
/proc/20942/task/20948/stat : 20948 (java) S 20940 20940 8557 0 -1 1077944384 38527 0 0 0 1566 4 0 0 20 0 15 0 119071762 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161368687824 140161823033045 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20949] ppid=20940 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20949/stat : 20949 (java) S 20940 20940 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161367635136 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20950] ppid=20940 vsize=13980732 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20950/stat : 20950 (java) S 20940 20940 8557 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 119071763 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161366582896 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20951] ppid=20940 vsize=13980732 memory=4584 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20951/stat : 20951 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161365531216 140161823041435 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20952] ppid=20940 vsize=13980732 memory=872 CPUtime=0.28 cores=1,3,5,7
/proc/20942/task/20952/stat : 20952 (java) S 20940 20940 8557 0 -1 1077944384 3315 0 0 0 27 1 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161364478112 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20953] ppid=20940 vsize=13980732 memory=1992 CPUtime=0.18 cores=1,3,5,7
/proc/20942/task/20953/stat : 20953 (java) S 20940 20940 8557 0 -1 1077944384 1269 0 0 0 18 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161363425312 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20954] ppid=20940 vsize=13980732 memory=1164 CPUtime=0.32 cores=1,3,5,7
/proc/20942/task/20954/stat : 20954 (java) S 20940 20940 8557 0 -1 1077944384 4163 0 0 0 32 0 0 0 20 0 15 0 119071765 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161362372736 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20955] ppid=20940 vsize=13980732 memory=7344 CPUtime=0 cores=1,3,5,7
/proc/20942/task/20955/stat : 20955 (java) S 20940 20940 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119071766 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161361320416 140161823033045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
[pid=20942/tid=20956] ppid=20940 vsize=13980732 memory=1628 CPUtime=0.13 cores=1,3,5,7
/proc/20942/task/20956/stat : 20956 (java) S 20940 20940 8557 0 -1 1077944384 331 0 0 0 7 6 0 0 20 0 15 0 119071770 14316269568 2600266 18446744073709551615 4194304 4196468 140723350383424 140161360268208 140161823033986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35717120 140723350389169 140723350389345 140723350389345 140723350392783 0
Current children cumulated CPU time: 335.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 10402444 KiB
[startup+189.601 s]
/proc/loadavg: 3.19 3.66 3.16 6/212 20977
/proc/meminfo: memFree=12957816/32770624 swapFree=67105588/67108860
[pid=20940] ppid=20937 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20940/stat : 20940 (xcsp3-exec) S 20937 20940 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119071750 9740288 345 18446744073709551615 4194304 5098028 140732614741984 140732614740088 139822545224316 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 27938816 140732614750584 140732614750789 140732614750789 140732614754283 0
/proc/20940/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 189.649
CPU time (s): 336.564
CPU user time (s): 326.352
CPU system time (s): 10.2119
CPU usage (%): 177.467
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 10402444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 326.352
system time used= 10.2119
maximum resident set size= 10401624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300570
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8692
involuntary context switches= 2541
# summary of solver processes directly reported to runsolver:
# pid: 20940
# total CPU time (s): 336.564
# total CPU user time (s): 326.352
# total CPU system time (s): 10.2119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25168 second user time and 1.97182 second system time
The end