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-4254994-1501623374/watcher-4254994-1501623374 -o /tmp/evaluation-result-4254994-1501623374/solver-4254994-1501623374 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1549054530 HOME/instance-4254994-1501623374.xml
pid=17099
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17102
/proc/meminfo: memFree=27258848/32770624 swapFree=0/173744
[pid=17102] ppid=17099 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (runsolver) D 17099 17102 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4247977 24240128 107 18446744073709551615 4194304 4338465 140725749056048 140725749053688 140228830622423 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 25792512 140725749059678 140725749060167 140725749060167 140725749063626 0
/proc/17102/statm: 5918 107 54 36 0 2156 0
[startup+0.100164 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17102
/proc/meminfo: memFree=27258848/32770624 swapFree=0/173744
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200307 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17102
/proc/meminfo: memFree=27258848/32770624 swapFree=0/173744
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30027 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17102
/proc/meminfo: memFree=27258848/32770624 swapFree=0/173744
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70021 s]
/proc/loadavg: 1.69 1.54 1.64 2/199 17102
/proc/meminfo: memFree=27258848/32770624 swapFree=0/173744
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50107 s]
/proc/loadavg: 1.69 1.54 1.64 5/215 17118
/proc/meminfo: memFree=26974828/32770624 swapFree=0/173748
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
[pid=17104] ppid=17102 vsize=13980732 CPUtime=3.95 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17102 3187 0 -1 1077944320 20631 0 0 0 373 22 0 0 20 0 15 0 4247986 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 140722150978448 139814788501239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
/proc/17104/statm: 3495183 77972 3203 1 0 3483484 0
[pid=17104/tid=17105] ppid=17102 vsize=13980732 CPUtime=1.25 cores=0,2,4,6
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 3187 0 -1 4202560 8719 0 0 0 121 4 0 0 20 0 15 0 4247987 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814792737872 139814428094604 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17106] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 3187 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814745468048 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17107] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 3187 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814744415248 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17108] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 3187 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814743362448 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17109] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 3187 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814385150736 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17110] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814266444144 139814788512386 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17111] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17102 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814265390112 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17112] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814264337264 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17113] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814263285584 139814788519835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17114] ppid=17102 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) R 17102 17102 3187 0 -1 4202560 3117 0 0 0 88 0 0 0 20 0 15 0 4247992 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814262219176 139814767747581 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17115] ppid=17102 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) R 17102 17102 3187 0 -1 4202560 4224 0 0 0 86 0 0 0 20 0 15 0 4247992 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814261167264 139814771965007 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17116] ppid=17102 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 3187 0 -1 1077944384 2965 0 0 0 59 0 0 0 20 0 15 0 4247992 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814260128368 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17117] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814259075808 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17118] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4247996 14316269568 77972 18446744073709551615 4194304 4196468 140722150995904 139814258023088 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17104 sig 9
??? kill 17102 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60086 s]
/proc/loadavg: 1.69 1.54 1.64 5/215 17118
/proc/meminfo: memFree=26974828/32770624 swapFree=0/173748
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
[pid=17104] ppid=17102 vsize=13980732 CPUtime=4.26 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17102 3187 0 -1 1077944320 20688 0 0 0 404 22 0 0 20 0 15 0 4247986 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 140722150978448 139814788501239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
/proc/17104/statm: 3495183 78005 3204 1 0 3483484 0
[pid=17104/tid=17105] ppid=17102 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 3187 0 -1 4202560 8719 0 0 0 131 4 0 0 20 0 15 0 4247987 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814792736064 139814429022995 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17106] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 3187 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814745468048 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17107] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 3187 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814744415248 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17108] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 3187 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814743362448 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17109] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 3187 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814385150736 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17110] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814266444144 139814788512386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17111] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17102 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814265390112 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17112] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814264337264 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17113] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814263285584 139814788519835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17114] ppid=17102 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) R 17102 17102 3187 0 -1 4202560 3136 0 0 0 98 0 0 0 20 0 15 0 4247992 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814262219808 139814773621748 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17115] ppid=17102 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) R 17102 17102 3187 0 -1 4202560 4241 0 0 0 96 1 0 0 20 0 15 0 4247992 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814261172000 139814780741045 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17116] ppid=17102 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 3187 0 -1 1077944384 2986 0 0 0 60 0 0 0 20 0 15 0 4247992 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814260128368 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17117] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814259075808 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17118] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4247996 14316269568 78005 18446744073709551615 4194304 4196468 140722150995904 139814258023088 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13990244
[startup+1.80257 s]
/proc/loadavg: 1.69 1.54 1.64 5/215 17118
/proc/meminfo: memFree=26974828/32770624 swapFree=0/173748
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
[pid=17104] ppid=17102 vsize=13980732 CPUtime=4.88 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17102 3187 0 -1 1077944320 20942 0 0 0 466 22 0 0 20 0 15 0 4247986 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 140722150978448 139814788501239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
/proc/17104/statm: 3495183 78169 3208 1 0 3483484 0
[pid=17104/tid=17105] ppid=17102 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 3187 0 -1 4202560 8807 0 0 0 151 5 0 0 20 0 15 0 4247987 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814792732496 139814788513174 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17106] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 3187 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814745468048 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17107] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 3187 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814744415248 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17108] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 3187 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814743362448 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17109] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 3187 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814385150736 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17110] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814266444144 139814788512386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17111] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17102 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814265390112 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17112] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814264337264 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17113] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814263285584 139814788519835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17114] ppid=17102 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) R 17102 17102 3187 0 -1 4202560 3174 0 0 0 116 0 0 0 20 0 15 0 4247992 14316269568 78169 18446744073709551615 4194304 4196468 140722150995904 139814262222528 139814773627506 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17115] ppid=17102 vsize=13980732 CPUtime=1.16 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) R 17102 17102 3187 0 -1 4202560 4281 0 0 0 115 1 0 0 20 0 15 0 4247992 14316269568 78172 18446744073709551615 4194304 4196468 140722150995904 139814261162880 139814768664535 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17116] ppid=17102 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) R 17102 17102 3187 0 -1 1077944384 3074 0 0 0 65 0 0 0 20 0 15 0 4247992 14316269568 78172 18446744073709551615 4194304 4196468 140722150995904 139814260128368 139814788512386 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17117] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78172 18446744073709551615 4194304 4196468 140722150995904 139814259075808 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17118] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) R 17102 17102 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4247996 14316269568 78172 18446744073709551615 4194304 4196468 140722150995904 139814258023088 139814788512386 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 13990244
[startup+1.90067 s]
/proc/loadavg: 1.69 1.54 1.64 5/215 17118
/proc/meminfo: memFree=26974828/32770624 swapFree=0/173748
[pid=17102] ppid=17099 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/17102/stat : 17102 (xcsp3-exec) S 17099 17102 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 4247977 9740288 345 18446744073709551615 4194304 5098028 140733845195152 140733845193256 140253633479292 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 30363648 140733845201308 140733845201512 140733845201512 140733845204971 0
/proc/17102/statm: 2378 345 289 221 0 87 0
[pid=17104] ppid=17102 vsize=13980732 CPUtime=5.18 cores=0,2,4,6
/proc/17104/stat : 17104 (java) S 17102 17102 3187 0 -1 1077944320 20979 0 0 0 496 22 0 0 20 0 15 0 4247986 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 140722150978448 139814788501239 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
/proc/17104/statm: 3495183 78187 3208 1 0 3483484 0
[pid=17104/tid=17105] ppid=17102 vsize=13980732 CPUtime=1.66 cores=0,2,4,6
/proc/17104/task/17105/stat : 17105 (java) R 17102 17102 3187 0 -1 4202560 8810 0 0 0 161 5 0 0 20 0 15 0 4247987 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814792736592 139814429023096 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17106] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17106/stat : 17106 (java) S 17102 17102 3187 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814745468048 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17107] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17107/stat : 17107 (java) S 17102 17102 3187 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814744415248 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17108] ppid=17102 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/17104/task/17108/stat : 17108 (java) S 17102 17102 3187 0 -1 1077944384 58 0 0 0 4 3 0 0 20 0 15 0 4247987 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814743362448 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17109] ppid=17102 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/17104/task/17109/stat : 17109 (java) S 17102 17102 3187 0 -1 1077944384 53 0 0 0 3 3 0 0 20 0 15 0 4247987 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814385150736 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17110] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17110/stat : 17110 (java) S 17102 17102 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814266444144 139814788512386 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17111] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17111/stat : 17111 (java) S 17102 17102 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814265390112 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17112] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17112/stat : 17112 (java) S 17102 17102 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 4247989 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814264337264 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17113] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17113/stat : 17113 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814263285584 139814788519835 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17114] ppid=17102 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/17104/task/17114/stat : 17114 (java) R 17102 17102 3187 0 -1 4202560 3185 0 0 0 126 0 0 0 20 0 15 0 4247992 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814262222928 139814767745256 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17115] ppid=17102 vsize=13980732 CPUtime=1.26 cores=0,2,4,6
/proc/17104/task/17115/stat : 17115 (java) R 17102 17102 3187 0 -1 4202560 4302 0 0 0 125 1 0 0 20 0 15 0 4247992 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814261162880 139814768337644 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17116] ppid=17102 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/17104/task/17116/stat : 17116 (java) S 17102 17102 3187 0 -1 1077944384 3076 0 0 0 66 1 0 0 20 0 15 0 4247992 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814260128368 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17117] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17117/stat : 17117 (java) S 17102 17102 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4247992 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814259075808 139814788511445 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
[pid=17104/tid=17118] ppid=17102 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/17104/task/17118/stat : 17118 (java) S 17102 17102 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 4247996 14316269568 78187 18446744073709551615 4194304 4196468 140722150995904 139814258023088 139814788512386 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38449152 140722151002581 140722151002756 140722151002756 140722151006159 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 1.94142
CPU time (s): 5.27283
CPU user time (s): 5.04293
CPU system time (s): 0.229902
CPU usage (%): 271.597
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.04293
system time used= 0.229902
maximum resident set size= 313676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2108
involuntary context switches= 24
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013889 second user time and 0.010417 second system time
The end