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 (15284 MiB free)
memory of node 1: 16384 MiB (14479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269421-1502709909/watcher-4269421-1502709909 -o /tmp/evaluation-result-4269421-1502709909/solver-4269421-1502709909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1325231640 HOME/instance-4269421-1502709909.xml
running on 4 cores: 0,2,4,6
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
solver pid=20881, runsolver pid=20878
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 2.14 1.79 1.66 3/201 20884
/proc/meminfo: memFree=30477528/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13358712 memory=11204 CPUtime=0 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 2595 0 0 0 0 0 0 0 20 0 6 0 59331519 13679321088 2801 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3339678 2801 1308 1 0 3329175 0
[pid=20883/tid=20884] ppid=20881 vsize=13358712 memory=-6152599254275821926 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 1440 0 0 0 0 0 0 0 20 0 6 0 59331519 13679321088 2932 18446744073709551615 4194304 4196468 140736778116976 140716876436048 140716833181558 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13358712 memory=5767615035358681481 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 59331520 13679321088 2932 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13358712 memory=139748950697600 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 59331520 13679321088 2932 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 59331520 13679321088 2932 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13358712 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 59331520 13679321088 2932 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 12584 KiB
[startup+0.210219 s]*
/proc/loadavg: 2.14 1.79 1.66 4/214 20897
/proc/meminfo: memFree=30465900/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13974352 memory=27220 CPUtime=0.08 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 5239 0 0 0 7 1 0 0 20 0 15 0 59331519 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3493588 6805 2726 1 0 3482964 0
[pid=20883/tid=20884] ppid=20881 vsize=13974352 memory=8256394924504554655 CPUtime=0.07 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 3400 0 0 0 6 1 0 0 20 0 15 0 59331519 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716876404064 140716864877941 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13974352 memory=5767615035358681481 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13974352 memory=139748950697600 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331521 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331522 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331522 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13974352 memory=139748950697600 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) R 20881 20881 11586 0 -1 4202560 235 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872221274 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13974352 memory=139748950697600 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331529 14309736448 6805 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28600 KiB
[startup+0.310425 s]*
/proc/loadavg: 2.14 1.79 1.66 3/214 20897
/proc/meminfo: memFree=30451368/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13974352 memory=37252 CPUtime=0.27 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 8863 0 0 0 25 2 0 0 20 0 15 0 59331519 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3493588 9313 2980 1 0 3482964 0
[pid=20883/tid=20884] ppid=20881 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 6099 0 0 0 15 2 0 0 20 0 15 0 59331519 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716876433680 140716872211862 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13974352 memory=139748950697599 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331521 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331522 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13974352 memory=139748950697600 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331522 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 15 0 59331524 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) R 20881 20881 11586 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 15 0 59331524 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) R 20881 20881 11586 0 -1 4202560 679 0 0 0 5 0 0 0 20 0 15 0 59331524 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716864437054 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331529 14309736448 9313 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38632 KiB
[startup+0.700855 s]
/proc/loadavg: 2.14 1.79 1.66 5/214 20897
/proc/meminfo: memFree=30440156/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=98628 CPUtime=1.16 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 13062 0 0 0 111 5 0 0 20 0 15 0 59331519 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 24657 3176 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=139 CPUtime=0.55 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 8492 0 0 0 51 4 0 0 20 0 15 0 59331519 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716876437680 140716872211862 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=8443538352883892301 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=288292173013844728 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=4338998545643470880 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 1207 0 0 0 18 0 0 0 20 0 15 0 59331524 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 765 0 0 0 15 0 0 0 20 0 15 0 59331524 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) R 20881 20881 11586 0 -1 4202560 1289 0 0 0 25 0 0 0 20 0 15 0 59331524 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872211862 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331529 14316269568 24657 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 100008 KiB
[startup+1.5008 s]
/proc/loadavg: 2.14 1.79 1.66 5/214 20897
/proc/meminfo: memFree=30380784/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=120516 CPUtime=3.52 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 22241 0 0 0 345 7 0 0 20 0 15 0 59331519 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 30129 3196 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 9085 0 0 0 130 4 0 0 20 0 15 0 59331519 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716876436896 140716503983020 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=7084558314584499794 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=7013623321951496274 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=7301857172715104592 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 30129 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=202400 CPUtime=16.29 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 31299 0 0 0 1619 10 0 0 20 0 15 0 59331519 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 50600 3234 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=1380 CPUtime=12.63 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 10303 0 0 0 1258 5 0 0 20 0 15 0 59331519 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716876436560 140716503983047 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=175320 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=642 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=304 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13980732 memory=301793952481412393 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13980732 memory=288284463631459472 CPUtime=1.5 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 5656 0 0 0 149 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13980732 memory=-7966001958750355552 CPUtime=1.61 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 6524 0 0 0 160 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13980732 memory=1399661390618268019 CPUtime=0.48 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) S 20881 20881 11586 0 -1 1077944384 5094 0 0 0 47 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 15 0 59331529 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 16.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203780 KiB
[startup+13.6007 s]
/proc/loadavg: 2.04 1.78 1.66 3/215 20899
/proc/meminfo: memFree=30289284/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=202400 CPUtime=17.09 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 31299 0 0 0 1699 10 0 0 20 0 15 0 59331519 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 50600 3234 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=1296 CPUtime=13.43 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 10303 0 0 0 1338 5 0 0 20 0 15 0 59331519 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716876436760 140716504642502 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13980732 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13980732 memory=2832 CPUtime=1.5 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 5656 0 0 0 149 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13980732 memory=2768 CPUtime=1.61 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 6524 0 0 0 160 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13980732 memory=15880 CPUtime=0.48 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) S 20881 20881 11586 0 -1 1077944384 5094 0 0 0 47 1 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13980732 memory=16240 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13980732 memory=19184 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 15 0 59331529 14316269568 50600 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 17.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203780 KiB
[startup+14.4007 s]
/proc/loadavg: 2.04 1.79 1.66 3/215 20899
/proc/meminfo: memFree=30289284/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=202428 CPUtime=17.92 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 31419 0 0 0 1782 10 0 0 20 0 15 0 59331519 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 50607 3234 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=14.23 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 10304 0 0 0 1418 5 0 0 20 0 15 0 59331519 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716876436760 140716503983212 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=275 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=383 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=1934 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=13568184779278711 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13980732 memory=13568184779278711 CPUtime=1.53 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 5775 0 0 0 152 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13980732 memory=1380 CPUtime=1.61 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 6524 0 0 0 160 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13980732 memory=1380 CPUtime=0.48 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) S 20881 20881 11586 0 -1 1077944384 5094 0 0 0 47 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13980732 memory=6944656425123094137 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 15 0 59331529 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 17.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203808 KiB
[startup+14.8007 s]
/proc/loadavg: 2.04 1.79 1.66 3/215 20899
/proc/meminfo: memFree=30289284/32770624 swapFree=67108860/67108860
[pid=20881] ppid=20878 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20881/stat : 20881 (xcsp3-exec) S 20878 20881 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 59331509 9740288 345 18446744073709551615 4194304 5098028 140730528508624 140730528506728 139621873140348 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 13950976 140730528514424 140730528514629 140730528514629 140730528518123 0
/proc/20881/statm: 2378 345 289 221 0 87 0
[pid=20883] ppid=20881 vsize=13980732 memory=202428 CPUtime=18.32 cores=0,2,4,6
/proc/20883/stat : 20883 (java) S 20881 20881 11586 0 -1 1077944320 31420 0 0 0 1822 10 0 0 20 0 15 0 59331519 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140736778099520 140716872199927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
/proc/20883/statm: 3495183 50607 3234 1 0 3483476 0
[pid=20883/tid=20884] ppid=20881 vsize=13980732 memory=16240 CPUtime=14.63 cores=0,2,4,6
/proc/20883/task/20884/stat : 20884 (java) R 20881 20881 11586 0 -1 4202560 10305 0 0 0 1458 5 0 0 20 0 15 0 59331519 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716876436760 140716504460468 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20885] ppid=20881 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20885/stat : 20885 (java) S 20881 20881 11586 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716829166352 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20886] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20886/stat : 20886 (java) S 20881 20881 11586 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716828113808 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20887] ppid=20881 vsize=13980732 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20887/stat : 20887 (java) S 20881 20881 11586 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716827061264 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20888] ppid=20881 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20888/stat : 20888 (java) S 20881 20881 11586 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 59331520 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716826008720 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20889] ppid=20881 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20889/stat : 20889 (java) S 20881 20881 11586 0 -1 1077944384 586 0 0 0 0 0 0 0 20 0 15 0 59331521 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716417898480 140716872211074 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20890] ppid=20881 vsize=13980732 memory=202400 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20890/stat : 20890 (java) S 20881 20881 11586 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716349055904 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20891] ppid=20881 vsize=13980732 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20891/stat : 20891 (java) S 20881 20881 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 59331522 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716348003312 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20892] ppid=20881 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20892/stat : 20892 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716346951888 140716872218523 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20893] ppid=20881 vsize=13980732 memory=1580 CPUtime=1.53 cores=0,2,4,6
/proc/20883/task/20893/stat : 20893 (java) S 20881 20881 11586 0 -1 1077944384 5775 0 0 0 152 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716345899504 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20894] ppid=20881 vsize=13980732 memory=2168 CPUtime=1.61 cores=0,2,4,6
/proc/20883/task/20894/stat : 20894 (java) S 20881 20881 11586 0 -1 1077944384 6524 0 0 0 160 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716344846960 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20895] ppid=20881 vsize=13980732 memory=836 CPUtime=0.48 cores=0,2,4,6
/proc/20883/task/20895/stat : 20895 (java) S 20881 20881 11586 0 -1 1077944384 5094 0 0 0 47 1 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716343794416 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20896] ppid=20881 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20896/stat : 20896 (java) S 20881 20881 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 59331524 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716342742112 140716872210133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
[pid=20883/tid=20897] ppid=20881 vsize=13980732 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20883/task/20897/stat : 20897 (java) S 20881 20881 11586 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 15 0 59331529 14316269568 50607 18446744073709551615 4194304 4196468 140736778116976 140716341688624 140716872211074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23826432 140736778121649 140736778121825 140736778121825 140736778125263 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203808 KiB
Child status: 0
Real time (s): 14.8802
CPU time (s): 18.4137
CPU user time (s): 18.3023
CPU system time (s): 0.111392
CPU usage (%): 123.747
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 203808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3023
system time used= 0.111392
maximum resident set size= 202696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2505
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 20881
# total CPU time (s): 18.4137
# total CPU user time (s): 18.3023
# total CPU system time (s): 0.111392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.105151 second user time and 0.182138 second system time
The end