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 (12691 MiB free)
memory of node 1: 16384 MiB (11360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282990-1503212924/watcher-4282990-1503212924 -o /tmp/evaluation-result-4282990-1503212924/solver-4282990-1503212924 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17466 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2101200605 HOME/instance-4282990-1503212924.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=20070, runsolver pid=20067
Current StackSize limit: 8192 KiB
[startup+0.107541 s]*
/proc/loadavg: 2.01 2.05 1.97 4/218 20086
/proc/meminfo: memFree=24611884/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (xcsp3-exec) S 20067 20070 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373320 9740288 346 33554432000 4194304 5098028 140723894039248 140723894037352 140651056202364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20025344 140723894043764 140723894043968 140723894043968 140723894046699 0
/proc/20070/statm: 2378 346 289 221 0 87 0
[pid=20072] ppid=20070 vsize=13978596 memory=28336 CPUtime=0.14 cores=0,2,4,6
/proc/20072/stat : 20072 (java) S 20070 20070 17435 0 -1 1077944320 5469 0 0 0 12 2 0 0 20 0 15 0 154373321 14314082304 7084 33554432000 4194304 4196468 140734046532960 140734046515504 139976996962039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
/proc/20072/statm: 3494649 7084 2869 1 0 3482966 0
[pid=20072/tid=20073] ppid=20070 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/20072/task/20073/stat : 20073 (java) R 20070 20070 17435 0 -1 4202560 3401 0 0 0 9 1 0 0 20 0 15 0 154373321 14314082304 7084 33554432000 4194304 4196468 140734046532960 139977001191632 139976981610458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20074] ppid=20070 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20074/stat : 20074 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976949582992 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20075] ppid=20070 vsize=13978596 memory=140050669131392 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20075/stat : 20075 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976948530192 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20076] ppid=20070 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20076/stat : 20076 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976947477392 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20077] ppid=20070 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20077/stat : 20077 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976946424592 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20078] ppid=20070 vsize=13978596 memory=140050669131392 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20078/stat : 20078 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373323 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976470673776 139976996973186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20079] ppid=20070 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20079/stat : 20079 (java) S 20070 20070 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373324 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976469619744 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20080] ppid=20070 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20080/stat : 20080 (java) S 20070 20070 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373324 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976468566896 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20081] ppid=20070 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20081/stat : 20081 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14314082304 7084 33554432000 4194304 4196468 140734046532960 139976467515216 139976996980635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20082] ppid=20070 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20082/stat : 20082 (java) R 20070 20070 17435 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 154373326 14314082304 7150 33554432000 4194304 4196468 140734046532960 139976466463696 139976996972245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20083] ppid=20070 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20083/stat : 20083 (java) R 20070 20070 17435 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 15 0 154373326 14314082304 7150 33554432000 4194304 4196468 140734046532960 139976465402304 139976980361212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20084] ppid=20070 vsize=13978596 memory=140050669131392 CPUtime=0.02 cores=0,2,4,6
/proc/20072/task/20084/stat : 20084 (java) R 20070 20070 17435 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 154373326 14314082304 7150 33554432000 4194304 4196468 140734046532960 139976464358000 139976996973974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20085] ppid=20070 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20085/stat : 20085 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14314082304 7216 33554432000 4194304 4196468 140734046532960 139976463305440 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20086] ppid=20070 vsize=13978596 memory=140050669131392 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20086/stat : 20086 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373327 14314082304 7216 33554432000 4194304 4196468 140734046532960 139976462252720 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29720 KiB
[startup+0.210806 s]*
/proc/loadavg: 2.01 2.05 1.97 3/218 20086
/proc/meminfo: memFree=24601712/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (xcsp3-exec) S 20067 20070 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373320 9740288 346 33554432000 4194304 5098028 140723894039248 140723894037352 140651056202364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20025344 140723894043764 140723894043968 140723894043968 140723894046699 0
/proc/20070/statm: 2378 346 289 221 0 87 0
[pid=20072] ppid=20070 vsize=13982852 memory=40100 CPUtime=0.33 cores=0,2,4,6
/proc/20072/stat : 20072 (java) S 20070 20070 17435 0 -1 1077944320 8052 0 0 0 30 3 0 0 20 0 15 0 154373321 14318440448 10025 33554432000 4194304 4196468 140734046532960 140734046515504 139976996962039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
/proc/20072/statm: 3495713 10025 3072 1 0 3482966 0
[pid=20072/tid=20073] ppid=20070 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20072/task/20073/stat : 20073 (java) R 20070 20070 17435 0 -1 4202560 5288 0 0 0 18 2 0 0 20 0 15 0 154373321 14318473216 10025 33554432000 4194304 4196468 140734046532960 139977001172832 139976989641757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20074] ppid=20070 vsize=13982884 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20074/stat : 20074 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318473216 10025 33554432000 4194304 4196468 140734046532960 139976949582992 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20075] ppid=20070 vsize=13982852 memory=140050669908639 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20075/stat : 20075 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976948530192 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20076] ppid=20070 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20076/stat : 20076 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976947477392 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20077] ppid=20070 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20077/stat : 20077 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976946424592 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20078] ppid=20070 vsize=13982852 memory=140050669131392 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20078/stat : 20078 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373323 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976470673776 139976996973186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20079] ppid=20070 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20079/stat : 20079 (java) S 20070 20070 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373324 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976469619744 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20080] ppid=20070 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20080/stat : 20080 (java) S 20070 20070 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373324 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976468566896 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20081] ppid=20070 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20081/stat : 20081 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976467515216 139976996980635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20082] ppid=20070 vsize=13982884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20072/task/20082/stat : 20082 (java) S 20070 20070 17435 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 154373326 14318473216 10025 33554432000 4194304 4196468 140734046532960 139976466463600 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20083] ppid=20070 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20072/task/20083/stat : 20083 (java) S 20070 20070 17435 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 15 0 154373326 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976465410800 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20084] ppid=20070 vsize=13982852 memory=140050669131392 CPUtime=0.08 cores=0,2,4,6
/proc/20072/task/20084/stat : 20084 (java) S 20070 20070 17435 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 154373326 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976464358000 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20085] ppid=20070 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20085/stat : 20085 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976463305440 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20086] ppid=20070 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20086/stat : 20086 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373327 14318440448 10025 33554432000 4194304 4196468 140734046532960 139976462252720 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41484 KiB
[startup+0.316026 s]*
/proc/loadavg: 2.01 2.05 1.97 4/218 20086
/proc/meminfo: memFree=24593772/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (xcsp3-exec) S 20067 20070 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373320 9740288 346 33554432000 4194304 5098028 140723894039248 140723894037352 140651056202364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20025344 140723894043764 140723894043968 140723894043968 140723894046699 0
/proc/20070/statm: 2378 346 289 221 0 87 0
[pid=20072] ppid=20070 vsize=13982928 memory=48104 CPUtime=0.51 cores=0,2,4,6
/proc/20072/stat : 20072 (java) S 20070 20070 17435 0 -1 1077944320 9198 0 0 0 47 4 0 0 20 0 15 0 154373321 14318518272 12026 33554432000 4194304 4196468 140734046532960 140734046515504 139976996962039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
/proc/20072/statm: 3495732 12026 3137 1 0 3482966 0
[pid=20072/tid=20073] ppid=20070 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/20072/task/20073/stat : 20073 (java) R 20070 20070 17435 0 -1 4202560 6070 0 0 0 27 3 0 0 20 0 15 0 154373321 14318518272 12026 33554432000 4194304 4196468 140734046532960 139977001194368 139976981042556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20074] ppid=20070 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20074/stat : 20074 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976949582992 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20075] ppid=20070 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20075/stat : 20075 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976948530192 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20076] ppid=20070 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20076/stat : 20076 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976947477392 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20077] ppid=20070 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20077/stat : 20077 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976946424592 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20078] ppid=20070 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20078/stat : 20078 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373323 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976470673776 139976996973186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20079] ppid=20070 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20079/stat : 20079 (java) S 20070 20070 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373324 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976469619744 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20080] ppid=20070 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20080/stat : 20080 (java) S 20070 20070 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373324 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976468566896 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20081] ppid=20070 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20081/stat : 20081 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976467515216 139976996980635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20082] ppid=20070 vsize=13982928 memory=4713750055892520310 CPUtime=0.02 cores=0,2,4,6
/proc/20072/task/20082/stat : 20082 (java) R 20070 20070 17435 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 154373326 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976466463600 139976996973186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20083] ppid=20070 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20072/task/20083/stat : 20083 (java) R 20070 20070 17435 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 154373326 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976465410800 139976996973186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20084] ppid=20070 vsize=13982928 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20072/task/20084/stat : 20084 (java) S 20070 20070 17435 0 -1 1077944384 895 0 0 0 13 0 0 0 20 0 15 0 154373326 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976464358000 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20085] ppid=20070 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20085/stat : 20085 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976463305440 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20086] ppid=20070 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20086/stat : 20086 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373327 14318518272 12026 33554432000 4194304 4196468 140734046532960 139976462252720 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49488 KiB
[startup+0.684844 s]
# the end of solver process 20070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.42947 s, system=0.065561 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410521 s]*
/proc/loadavg: 2.01 2.05 1.97 3/218 20086
/proc/meminfo: memFree=24589244/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (xcsp3-exec) S 20067 20070 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373320 9740288 346 33554432000 4194304 5098028 140723894039248 140723894037352 140651056202364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20025344 140723894043764 140723894043968 140723894043968 140723894046699 0
/proc/20070/statm: 2378 346 289 221 0 87 0
[pid=20072] ppid=20070 vsize=13982928 memory=54800 CPUtime=0.72 cores=0,2,4,6
/proc/20072/stat : 20072 (java) S 20070 20070 17435 0 -1 1077944320 9800 0 0 0 68 4 0 0 20 0 15 0 154373321 14318518272 13700 33554432000 4194304 4196468 140734046532960 140734046515504 139976996962039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
/proc/20072/statm: 3495732 13700 3166 1 0 3482966 0
[pid=20072/tid=20073] ppid=20070 vsize=13982928 memory=7883960649037381690 CPUtime=0.39 cores=0,2,4,6
/proc/20072/task/20073/stat : 20073 (java) D 20070 20070 17435 0 -1 1077944384 6338 0 0 0 36 3 0 0 20 0 15 0 154373321 14318518272 13711 33554432000 4194304 4196468 140734046532960 139977001169360 139976989641261 0 4 0 16800975 18446744072101662244 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20074] ppid=20070 vsize=13982960 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20074/stat : 20074 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318551040 13711 33554432000 4194304 4196468 140734046532960 139976949582992 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20075] ppid=20070 vsize=13982960 memory=140050669908639 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20075/stat : 20075 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14318551040 13711 33554432000 4194304 4196468 140734046532960 139976948530192 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20076] ppid=20070 vsize=13982960 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20076/stat : 20076 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318551040 13711 33554432000 4194304 4196468 140734046532960 139976947477392 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20077] ppid=20070 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20077/stat : 20077 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976946424592 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20078] ppid=20070 vsize=13982928 memory=140050669131392 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20078/stat : 20078 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373323 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976470673776 139976996973186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20079] ppid=20070 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20079/stat : 20079 (java) S 20070 20070 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373324 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976469619744 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20080] ppid=20070 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20080/stat : 20080 (java) S 20070 20070 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373324 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976468566896 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20081] ppid=20070 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20081/stat : 20081 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976467515216 139976996980635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20082] ppid=20070 vsize=13982928 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20072/task/20082/stat : 20082 (java) R 20070 20070 17435 0 -1 4202560 598 0 0 0 6 0 0 0 20 0 15 0 154373326 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976466463600 139976982071036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20083] ppid=20070 vsize=13982960 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/20072/task/20083/stat : 20083 (java) R 20070 20070 17435 0 -1 4202560 506 0 0 0 6 0 0 0 20 0 15 0 154373326 14318551040 13711 33554432000 4194304 4196468 140734046532960 139976465410800 139976981871228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20084] ppid=20070 vsize=13982960 memory=140050669131392 CPUtime=0.19 cores=0,2,4,6
/proc/20072/task/20084/stat : 20084 (java) R 20070 20070 17435 0 -1 1077944384 1062 0 0 0 19 0 0 0 20 0 15 0 154373326 14318551040 13711 33554432000 4194304 4196468 140734046532960 139976464358000 139976996973186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20085] ppid=20070 vsize=13982928 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20085/stat : 20085 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976463305440 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20086] ppid=20070 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20086/stat : 20086 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373327 14318518272 13711 33554432000 4194304 4196468 140734046532960 139976462252720 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 56184 KiB
[startup+0.610521 s]
/proc/loadavg: 2.25 2.10 1.99 4/218 20086
/proc/meminfo: memFree=24577892/32770624 swapFree=67108860/67108860
[pid=20070] ppid=20067 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20070/stat : 20070 (xcsp3-exec) S 20067 20070 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154373320 9740288 346 33554432000 4194304 5098028 140723894039248 140723894037352 140651056202364 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20025344 140723894043764 140723894043968 140723894043968 140723894046699 0
/proc/20070/statm: 2378 346 289 221 0 87 0
[pid=20072] ppid=20070 vsize=13984976 memory=66816 CPUtime=1.31 cores=0,2,4,6
/proc/20072/stat : 20072 (java) S 20070 20070 17435 0 -1 1077944320 12014 0 0 0 126 5 0 0 20 0 15 0 154373321 14320615424 16704 33554432000 4194304 4196468 140734046532960 140734046515504 139976996962039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
/proc/20072/statm: 3496244 16704 3209 1 0 3483478 0
[pid=20072/tid=20073] ppid=20070 vsize=13984976 memory=16101468159609422 CPUtime=0.57 cores=0,2,4,6
/proc/20072/task/20073/stat : 20073 (java) R 20070 20070 17435 0 -1 4202560 6761 0 0 0 54 3 0 0 20 0 15 0 154373321 14320615424 16770 33554432000 4194304 4196468 140734046532960 139977001197232 139976628220162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20074] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20074/stat : 20074 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976949582992 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20075] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20075/stat : 20075 (java) S 20070 20070 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154373322 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976948530192 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20076] ppid=20070 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20076/stat : 20076 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976947477392 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20077] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20077/stat : 20077 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373322 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976946424592 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20078] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20078/stat : 20078 (java) S 20070 20070 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154373323 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976470673776 139976996973186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20079] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20079/stat : 20079 (java) S 20070 20070 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154373324 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976469619744 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20080] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20080/stat : 20080 (java) S 20070 20070 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154373324 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976468566896 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20081] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20081/stat : 20081 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976467515216 139976996980635 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20082] ppid=20070 vsize=13984976 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/20072/task/20082/stat : 20082 (java) R 20070 20070 17435 0 -1 4202560 1212 0 0 0 19 0 0 0 20 0 15 0 154373326 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976466449336 139976978479830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20083] ppid=20070 vsize=13984976 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/20072/task/20083/stat : 20083 (java) R 20070 20070 17435 0 -1 4202560 1117 0 0 0 21 0 0 0 20 0 15 0 154373326 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976465402128 139976978507000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20084] ppid=20070 vsize=13984976 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/20072/task/20084/stat : 20084 (java) R 20070 20070 17435 0 -1 4202560 1644 0 0 0 30 0 0 0 20 0 15 0 154373326 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976464358000 139976975919125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20085] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20085/stat : 20085 (java) S 20070 20070 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154373326 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976463305440 139976996972245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
[pid=20072/tid=20086] ppid=20070 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20072/task/20086/stat : 20086 (java) S 20070 20070 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154373327 14320615424 16770 33554432000 4194304 4196468 140734046532960 139976462252720 139976996973186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22597632 140734046536861 140734046537036 140734046537036 140734046539727 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 68200 KiB
Child status: 0
Real time (s): 0.684884
CPU time (s): 1.49503
CPU user time (s): 1.42947
CPU system time (s): 0.065561
CPU usage (%): 218.289
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 68200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.42946
system time used= 0.065561
maximum resident set size= 69868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1732
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 20070
# total CPU time (s): 1.49503
# total CPU user time (s): 1.42947
# total CPU system time (s): 0.065561
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031489 second user time and 0.044029 second system time
The end