runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247057-1502059130/watcher-4247057-1502059130 -o /tmp/evaluation-result-4247057-1502059130/solver-4247057-1502059130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1992621098 HOME/instance-4247057-1502059130.xml
pid=9681
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.42 8.57 8.06 6/205 9684
/proc/meminfo: memFree=30505352/32770624 swapFree=0/328868
[pid=9684] ppid=9681 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (runsolver) D 9681 9684 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53728265 24240128 108 18446744073709551615 4194304 4338465 140721287380672 140721287378312 140539903214295 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32370688 140721287389270 140721287389769 140721287389769 140721287393226 0
/proc/9684/statm: 5918 108 54 36 0 2156 0
[startup+0.100114 s]
/proc/loadavg: 8.42 8.57 8.06 6/205 9684
/proc/meminfo: memFree=30505352/32770624 swapFree=0/328868
[pid=9684] ppid=9681 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (runsolver) D 9681 9684 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53728265 24240128 108 18446744073709551615 4194304 4338465 140721287380672 140721287378312 140539903214295 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32370688 140721287389270 140721287389769 140721287389769 140721287393226 0
/proc/9684/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200257 s]
/proc/loadavg: 8.42 8.57 8.06 6/205 9684
/proc/meminfo: memFree=30505352/32770624 swapFree=0/328868
[pid=9684] ppid=9681 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (xcsp3-exec) S 9681 9684 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728265 9740288 345 18446744073709551615 4194304 5098028 140721411633600 140721411631704 140038926643836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 31510528 140721411637656 140721411637866 140721411637866 140721411641323 0
/proc/9684/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300211 s]
/proc/loadavg: 8.42 8.57 8.06 6/205 9684
/proc/meminfo: memFree=30505352/32770624 swapFree=0/328868
[pid=9684] ppid=9681 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (xcsp3-exec) S 9681 9684 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728265 9740288 345 18446744073709551615 4194304 5098028 140721411633600 140721411631704 140038926643836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 31510528 140721411637656 140721411637866 140721411637866 140721411641323 0
/proc/9684/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702998 s]
/proc/loadavg: 8.42 8.57 8.06 6/205 9684
/proc/meminfo: memFree=30505352/32770624 swapFree=0/328868
[pid=9684] ppid=9681 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (xcsp3-exec) S 9681 9684 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728265 9740288 345 18446744073709551615 4194304 5098028 140721411633600 140721411631704 140038926643836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 31510528 140721411637656 140721411637866 140721411637866 140721411641323 0
/proc/9684/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50712 s]
/proc/loadavg: 8.42 8.57 8.06 8/225 9724
/proc/meminfo: memFree=30377596/32770624 swapFree=0/328892
[pid=9684] ppid=9681 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (xcsp3-exec) S 9681 9684 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728265 9740288 345 18446744073709551615 4194304 5098028 140721411633600 140721411631704 140038926643836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 31510528 140721411637656 140721411637866 140721411637866 140721411641323 0
/proc/9684/statm: 2378 345 289 221 0 87 0
[pid=9686] ppid=9684 vsize=13186612 CPUtime=4.14 cores=1,3,5,7
/proc/9686/stat : 9686 (java) S 9684 9684 25100 0 -1 1077944320 17080 0 0 0 408 6 0 0 20 0 19 0 53728276 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 140721275440144 139847782235895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
/proc/9686/statm: 3296653 37720 3208 1 0 3284945 0
[pid=9686/tid=9687] ppid=9684 vsize=13186612 CPUtime=0.64 cores=1,3,5,7
/proc/9686/task/9687/stat : 9687 (java) S 9684 9684 25100 0 -1 1077944384 8853 0 0 0 61 3 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847786476672 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9688] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9688/stat : 9688 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847705061776 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9689] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9689/stat : 9689 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847704008976 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9690] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9690/stat : 9690 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847702956688 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9691] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9691/stat : 9691 (java) S 9684 9684 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847701903888 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9692] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9692/stat : 9692 (java) S 9684 9684 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847265630832 139847782247042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9693] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9693/stat : 9693 (java) S 9684 9684 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847264576800 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9694] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9694/stat : 9694 (java) S 9684 9684 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847263524464 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9695] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9695/stat : 9695 (java) S 9684 9684 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847262472784 139847782254491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9696] ppid=9684 vsize=13186612 CPUtime=0.65 cores=1,3,5,7
/proc/9686/task/9696/stat : 9696 (java) D 9684 9684 25100 0 -1 4202560 2142 0 0 0 65 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847261405368 139847763780856 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9697] ppid=9684 vsize=13186612 CPUtime=0.65 cores=1,3,5,7
/proc/9686/task/9697/stat : 9697 (java) D 9684 9684 25100 0 -1 4202560 1641 0 0 0 65 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847260351192 139847774953047 0 4 1 16800974 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9698] ppid=9684 vsize=13186612 CPUtime=0.56 cores=1,3,5,7
/proc/9686/task/9698/stat : 9698 (java) R 9684 9684 25100 0 -1 4202560 2495 0 0 0 56 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847259311224 139847774953047 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9699] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9684 9684 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847258261984 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9700] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728291 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847257209776 139847782247042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9721] ppid=9684 vsize=13186612 CPUtime=0.31 cores=1,3,5,7
/proc/9686/task/9721/stat : 9721 (java) R 9684 9684 25100 0 -1 4202560 23 0 0 0 31 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847247587848 139847378356840 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9722] ppid=9684 vsize=13186612 CPUtime=0.42 cores=1,3,5,7
/proc/9686/task/9722/stat : 9722 (java) R 9684 9684 25100 0 -1 4202560 26 0 0 0 42 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847249694488 139847378033375 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9723] ppid=9684 vsize=13186612 CPUtime=0.3 cores=1,3,5,7
/proc/9686/task/9723/stat : 9723 (java) R 9684 9684 25100 0 -1 4202560 23 0 0 0 30 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847246536648 139847378506992 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9724] ppid=9684 vsize=13186612 CPUtime=0.29 cores=1,3,5,7
/proc/9686/task/9724/stat : 9724 (java) R 9684 9684 25100 0 -1 4202560 20 0 0 0 29 0 0 0 20 0 19 0 53728366 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847248644136 139847378507912 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13196124
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9686 sig 9
??? kill 9684 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50712 s]
/proc/loadavg: 8.42 8.57 8.06 8/225 9724
/proc/meminfo: memFree=30377596/32770624 swapFree=0/328892
[pid=9684] ppid=9681 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9684/stat : 9684 (xcsp3-exec) S 9681 9684 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 53728265 9740288 345 18446744073709551615 4194304 5098028 140721411633600 140721411631704 140038926643836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 31510528 140721411637656 140721411637866 140721411637866 140721411641323 0
/proc/9684/statm: 2378 345 289 221 0 87 0
[pid=9686] ppid=9684 vsize=13186612 CPUtime=4.14 cores=1,3,5,7
/proc/9686/stat : 9686 (java) S 9684 9684 25100 0 -1 1077944320 17080 0 0 0 408 6 0 0 20 0 19 0 53728276 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 140721275440144 139847782235895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
/proc/9686/statm: 3296653 37720 3208 1 0 3284945 0
[pid=9686/tid=9687] ppid=9684 vsize=13186612 CPUtime=0.64 cores=1,3,5,7
/proc/9686/task/9687/stat : 9687 (java) S 9684 9684 25100 0 -1 1077944384 8853 0 0 0 61 3 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847786476672 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9688] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9688/stat : 9688 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847705061776 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9689] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9689/stat : 9689 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847704008976 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9690] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9690/stat : 9690 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847702956688 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9691] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9691/stat : 9691 (java) S 9684 9684 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 53728277 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847701903888 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9692] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9692/stat : 9692 (java) S 9684 9684 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847265630832 139847782247042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9693] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9693/stat : 9693 (java) S 9684 9684 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847264576800 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9694] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9694/stat : 9694 (java) S 9684 9684 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 53728279 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847263524464 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9695] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9695/stat : 9695 (java) S 9684 9684 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847262472784 139847782254491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9696] ppid=9684 vsize=13186612 CPUtime=0.65 cores=1,3,5,7
/proc/9686/task/9696/stat : 9696 (java) D 9684 9684 25100 0 -1 4202560 2142 0 0 0 65 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847261405368 139847763780856 0 4 1 16800974 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9697] ppid=9684 vsize=13186612 CPUtime=0.65 cores=1,3,5,7
/proc/9686/task/9697/stat : 9697 (java) D 9684 9684 25100 0 -1 4202560 1641 0 0 0 65 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847260351192 139847774953047 0 4 1 16800974 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9698] ppid=9684 vsize=13186612 CPUtime=0.56 cores=1,3,5,7
/proc/9686/task/9698/stat : 9698 (java) R 9684 9684 25100 0 -1 4202560 2495 0 0 0 56 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847259311224 139847774953047 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9699] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9699/stat : 9699 (java) S 9684 9684 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53728282 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847258261984 139847782246101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9700] ppid=9684 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/9686/task/9700/stat : 9700 (java) S 9684 9684 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 53728291 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847257209776 139847782247042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9721] ppid=9684 vsize=13186612 CPUtime=0.31 cores=1,3,5,7
/proc/9686/task/9721/stat : 9721 (java) R 9684 9684 25100 0 -1 4202560 23 0 0 0 31 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847247587848 139847378356840 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9722] ppid=9684 vsize=13186612 CPUtime=0.42 cores=1,3,5,7
/proc/9686/task/9722/stat : 9722 (java) R 9684 9684 25100 0 -1 4202560 26 0 0 0 42 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847249694488 139847378033375 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9723] ppid=9684 vsize=13186612 CPUtime=0.3 cores=1,3,5,7
/proc/9686/task/9723/stat : 9723 (java) R 9684 9684 25100 0 -1 4202560 23 0 0 0 30 0 0 0 20 0 19 0 53728365 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847246536648 139847378506992 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
[pid=9686/tid=9724] ppid=9684 vsize=13186612 CPUtime=0.29 cores=1,3,5,7
/proc/9686/task/9724/stat : 9724 (java) R 9684 9684 25100 0 -1 4202560 20 0 0 0 29 0 0 0 20 0 19 0 53728366 13503090688 37720 18446744073709551615 4194304 4196468 140721275457600 139847248644136 139847378507912 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28450816 140721275462102 140721275462278 140721275462278 140721275465679 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13196124
Child status: 0
Real time (s): 1.57954
CPU time (s): 4.37578
CPU user time (s): 4.30294
CPU system time (s): 0.072834
CPU usage (%): 277.029
Max. virtual memory (cumulated for all children) (KiB): 13196124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.30294
system time used= 0.072834
maximum resident set size= 156304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18712
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= 1917
involuntary context switches= 140
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007284 second user time and 0.014568 second system time
The end